3 Révisions (3fe629f54188a0f5ffde439811aab656a0418f0c)

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