Shared: update test output

This commit is contained in:
Asger F
2024-01-26 11:13:44 +01:00
parent f15ead6130
commit ee8e9a4e66

View File

@@ -1,6 +1,4 @@
inconsistentFlow
| A.java:24:9:24:12 | fsrc | A.java:26:10:26:10 | s | spurious state-flow in configuration both |
| A.java:24:9:24:12 | fsrc | A.java:26:10:26:10 | s | spurious state-flow in configuration sinkbarrier |
#select
| A.java:16:16:16:19 | fsrc | A.java:20:10:20:10 | s | nobarrier, sinkbarrier |
| A.java:16:16:16:19 | fsrc | A.java:22:10:22:10 | s | nobarrier |