Commit 12340a86 authored by Andrei Paskevich's avatar Andrei Paskevich
Browse files

bench: typecheck examples/to_port/

parent a44cccbb
......@@ -198,6 +198,7 @@ goods examples/tests-provers
goods examples/check-builtin
goods examples/logic
goods examples
goods examples/to_port
goods examples/foveoos11-cm
goods examples/WP_revisited
goods examples/vacid_0_binary_heaps "-L examples/vacid_0_binary_heaps"
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment