GaloisInc/macaw
1
1
Fork 0
mirror of https://github.com/GaloisInc/macaw.git synced 2024-12-27 16:15:12 +03:00
Code Issues Projects Releases Wiki Activity

[refinement] Disabled PPC switching test.

Browse Source 
Attempting to refine the switching test for PPC executables ends up
with a non-terminating Z3 process, so this test is disabled until this
is diagnosed.
This commit is contained in:
Kevin Quick 2019-02-08 17:32:21 -08:00
parent 5f12c3da88
commit 3e7bd01560
No known key found for this signature in database
GPG Key ID: E6D7733599CC0A21
1 changed files with 0 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
refinement/tests/samples/switching.ppc.expected
View File

@ -1 +0,0 @@
foo