tests/typing/errors · dolmen · Tangled

forked from gbury/dolmen

dolmen tests typing errors

30 folders

Guillaume Bury · Add support for SMT-LIB's :global-declarations options (#269) · 2mo ago

arith_exponentiation

Add Integer exponentiation (#259)

Refine some arithmetic error/warning messages (#184)

Some more CI tests (#127)

bad_index_arity

Some more CI tests (#127)

Some more CI tests (#127)

Add support for SMT-LIB's :global-declarations options (#269)

Some more CI tests (#127)

Fix bad error message (#234)

Some more CI tests (#127)

More checks on bitvector size for extract

Implement 'dumb' polymophism for SMT-LIB + various HO fixes (#268)

mismatch_record_type

Some more CI tests (#127)

missing_record_field

Some more CI tests (#127)

over_application

Some more CI tests (#127)

overlapping_parallel_binding

Reject overlapping parallel bindings (#246)

partial_pattern_match

Some more CI tests (#127)

Some more CI tests (#127)

quantifier_free

Some more CI tests (#127)

repeated_record_field

Some more CI tests (#127)

More information for reserved id, and adjusted errors

scope_escape_in_wildcard

Some more CI tests (#127)

Prevent overlapping of parameters in def-fun in SMT-LIB (#247)

Add proper support for `:named` smtlib annotations (#199)

Some more CI tests (#127)

Support for SMT-LIB 2.7 (#235)

unbound_type_vars

Fixes for implicit type vars and datatype decls in smt-lib

unfounded_datatype

Add some tests for the ADT well-foundedness check

Add Integer exponentiation (#259)

var_application

Some more CI tests (#127)

var_ty_application

Some more CI tests (#127)