update tests

This commit is contained in:
Alvaro Muñoz 2023-01-31 11:36:23 +01:00 committed by Stephan Seitz
parent c433b3c232
commit d335c39bff
3 changed files with 14 additions and 9 deletions

View file

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