Skip to content

Commit 7b1bb9f

Browse files
author
davidcok
committed
More cross-platform results
1 parent 29170f3 commit 7b1bb9f

2 files changed

Lines changed: 2 additions & 0 deletions

File tree

‎SMTTests/tests/getInfo/err_getInfo2.tst.skip.z3_4_3.linux-arm64‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1 @@
1+
z3-4.3.1 hangs on getInfo queries on ARM64

‎SMTTests/tests/setInfo/err_setInfo3.tst.skip.z3_4_3.linux-arm64‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1 @@
1+
z3-4.3.1 hangs on getInfo queries on ARM64

0 commit comments

Comments
 (0)