3 Commits (a8cb275b941b70524e8b97341784097434ae627c)

Author SHA1 Message Date
  Ben Kurtovic 5a0a00ba98 Change the way verify_safe() handles template params (#25). 11 years ago
  Ben Kurtovic 31a977bdfe Finish all incomplete template tests. 11 years ago
  Ben Kurtovic 24c55aeeb1 Adding a syntax highlighter for the test-case format. 11 years ago
  Ben Kurtovic 556477f801 Adding a bunch more tests. 11 years ago
  Ben Kurtovic 660a0c31e6 Adding a bunch more tests. 11 years ago
  Ben Kurtovic d500f8972e Add a few more tests; use assert*(expected, actual) instead of opposite. 11 years ago
  Ben Kurtovic 713b83a4d9 Added a metric ton of template tests; adjustments; docstrings. 11 years ago
  Ben Kurtovic eb1bd6b281 Add some basic tests for templates; adjust error messages again. 11 years ago