test.cr

# Papierkorb suggestion
class Foo
  include CrystalClear
  
  requires var > 5
  ensures result.query?
  assert def foo # Apply contract semantics to method
    # Code
  end
  
  invariant @var == true
end

assert something_true # Also add so the assert can handle normal tests