simplify tests

This commit is contained in:
Alvaro Muñoz 2023-01-31 12:20:52 +01:00 committed by Stephan Seitz
parent d335c39bff
commit f6531e27fd
3 changed files with 2 additions and 13 deletions

View file

@ -1,7 +1,3 @@
import go
module Test {
predicate test() {}
}
select 1