Skip to content

Commit

Permalink
Drafter tests
Browse files Browse the repository at this point in the history
  • Loading branch information
@acbart
acbart committed Mar 20, 2024
1 parent dcc63e1 commit 48d1dfe
Showing 1 changed file with 141 additions and 0 deletions.
141 changes: 141 additions & 0 deletions tests/test_drafter.py
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,141 @@
from textwrap import dedent

from pedal.assertions.feedbacks import assert_group
from pedal.assertions.runtime import *
from pedal.sandbox.commands import call, start_trace, get_sandbox, evaluate, CommandBlock, run
from tests.execution_helper import Execution, ExecutionTestCase, SUCCESS_MESSAGE
from pedal.sandbox.library.drafter import MockDrafter
import unittest


@unittest.skip
class TestAssertions(ExecutionTestCase):

def test_basic_mocking(self):
with Execution(dedent("""
from drafter import *
from dataclasses import dataclass
@dataclass
class State:
pass
@route
def index(state: State) -> Page:
return Page(state, ["Hello World!"])
start_server()
""")) as e:
pass # assert_route("index")
self.assertIsNone(e.student.exception)
self.assertFeedback(e, SUCCESS_MESSAGE)

def test_assert_microbit_displayed_simple_2d_list_fails(self):
with Execution(dedent("""
from microbit.display import show
# A 3x3 box with the bottom-left corner and center missing
show([[0, 0, 0, 0, 0], [0, 9, 9, 9, 0], [0, 9, 0, 9, 0], [0, 0, 9, 9, 0], [0, 0, 0, 0, 0]])
""")) as e:
assert_microbit_displayed(" "
" ██ "
" █ █ "
" ███ "
" ", report_differences=True)
self.assertIsNone(e.student.exception)
self.assertFeedback(e, """Image Not Displayed on Microbit
The expected image was not displayed on the Microbit.
The closest actual image shown had 2 differences.
The differences were at the following positions:
3, 1: 9 instead of 0
1, 3: 0 instead of 9""")

def test_assert_microbit_displaying_2d_list_passes(self):
with Execution(dedent("""
from microbit.display import show
# A 3x3 box with the bottom-left corner and center missing
show([[0, 0, 0, 0, 0], [0, 9, 9, 9, 0], [0, 9, 0, 9, 0], [0, 0, 9, 9, 0], [0, 0, 0, 0, 0]])
""")) as e:
assert_microbit_displaying(" "
" ███ "
" █ █ "
" ██ "
" ", True)
self.assertIsNone(e.student.exception)
self.assertFeedback(e, SUCCESS_MESSAGE)

def test_assert_microbit_displaying_2d_list_fails_current(self):
with Execution(dedent("""
from microbit.display import show
# A 3x3 box with the bottom-left corner and center missing
show([[0, 0, 0, 0, 0], [0, 9, 9, 9, 0], [0, 9, 0, 9, 0], [0, 0, 9, 9, 0], [0, 0, 0, 0, 0]])
show([[0, 0, 0, 0, 0], [0, 9, 9, 9, 0], [0, 9, 9, 9, 0], [0, 0, 9, 9, 0], [0, 0, 0, 0, 0]])
""")) as e:
assert_microbit_displaying(" "
" ███ "
" █ █ "
" ██ "
" ", True)
self.assertIsNone(e.student.exception)
self.assertFeedback(e, """Image Not Displaying on Microbit
The expected image is not currently displaying on the Microbit.
The image actually shown had 1 differences.
The differences were at the following positions:
2, 2: 9 instead of 0""")

def test_assert_microbit_displayed_animation_touches_corners(self):
with Execution(dedent("""
from microbit.display import show
# A 3x3 box with the bottom-left corner and center missing
show([[0, 0, 0, 0, 9], [0, 0, 0, 0, 0], [0, 0, 0, 0, 0], [0, 0, 0, 0, 0], [0, 0, 0, 0, 0]])
show([[9, 0, 0, 0, 0], [0, 0, 0, 0, 0], [0, 0, 0, 0, 0], [0, 0, 0, 0, 0], [0, 0, 0, 0, 0]])
show([[0, 0, 0, 0, 0], [0, 0, 0, 0, 0], [0, 0, 0, 0, 0], [0, 0, 0, 0, 0], [9, 0, 0, 0, 0]])
show([[0, 0, 0, 0, 0], [0, 0, 0, 0, 0], [0, 0, 0, 0, 0], [0, 0, 0, 0, 0], [0, 0, 0, 0, 9]])
""")) as e:
assert_microbit_displayed(" █: : : : ",
"█ : : : : ",
" : : : :█ ",
" : : : : █", report_differences=True)
self.assertIsNone(e.student.exception)
self.assertFeedback(e, SUCCESS_MESSAGE)

def test_assert_microbit_displayed_animation_touches_corners_fails(self):
with Execution(dedent("""
from microbit import display
show = display.show
# A 3x3 box with the bottom-left corner and center missing
show([[0, 0, 0, 0, 9], [0, 0, 0, 0, 0], [0, 0, 0, 0, 0], [0, 0, 0, 0, 0], [0, 0, 0, 0, 0]])
show([[9, 0, 0, 0, 0], [0, 0, 0, 0, 0], [0, 0, 0, 0, 0], [0, 0, 0, 0, 0], [0, 0, 0, 0, 0]])
show([[0, 0, 0, 0, 0], [0, 0, 0, 0, 0], [0, 0, 0, 0, 0], [0, 0, 0, 0, 0], [9, 0, 0, 0, 0]])
show([[0, 0, 0, 0, 0], [0, 0, 0, 0, 0], [0, 0, 0, 0, 0], [0, 0, 0, 0, 0], [0, 0, 0, 0, 9]])
""")) as e:
assert_microbit_displayed(" █: : : : ",
"█ : : : : ",
" : : : : ",
" : : : : █", report_differences=True)
self.assertIsNone(e.student.exception)
self.assertFeedback(e, """Image Not Displayed on Microbit
The expected image was not displayed on the Microbit.
The closest actual image shown had 1 differences.
The differences were at the following positions:
4, 0: 0 instead of 9""")

def test_assert_microbit_displayed_animation_touches_corners_loop(self):
with Execution(dedent("""
from microbit import display
# A 3x3 box with the bottom-left corner and center missing
STARTS = [(4, 0), (0, 0), (0, 4), (4, 4)]
DIRECTIONS = [(-1, 0), (0, 1), (1, 0), (0, -1)]
display.clear()
previous_x, previous_y = (0, 0)
for (start_x, start_y), (dx, dy) in zip(STARTS, DIRECTIONS):
for i in range(0, 5):
display.set_pixel(previous_x, previous_y, 0)
previous_x, previous_y = start_x + dx*i, start_y + dy*i
display.set_pixel(previous_x, previous_y, 9)
""")) as e:
assert_microbit_displayed(" █: : : : ",
" █ : : : : ",
" █ : : : : ",
"█ : : : : ",
" : : : :█ ",
" : : : : █", report_differences=True)
self.assertIsNone(e.student.exception)
self.assertFeedback(e, SUCCESS_MESSAGE)

0 comments on commit 48d1dfe

Please sign in to comment.