Merge pull request diffblue#239 from hannes-steffenhagen-diffblue/disable-vs-interval-float-test

Disable interval float test

Author: chrisr-diffblue

regression/goto-analyzer/variable-sensitivity-interval-values-float/test.desc

@@ -1,4 +1,4 @@
-CORE
+KNOWNBUG
 main.c
 --variable-sensitivity --interval-values --show
 main::1::zero \(\) -> \[00000000000000000000000000000000, 00000000000000000000000000000000\]
@@ -8,4 +8,4 @@ main::1::between_minus_one_and_one \(\) -> \[10111111100000000000000000000000, 0
 main::1::thirteen \(\) -> \[01000001010100000000000000000000, 01000001010100000000000000000000\]
 ^EXIT=0$
 ^SIGNAL=0$
---
+--