diff options
| author | Stephane Glondu <steph@glondu.net> | 2018-12-08 10:33:40 +0100 |
|---|---|---|
| committer | Stéphane Glondu <glondu@debian.org> | 2024-02-18 11:40:42 +0100 |
| commit | e9beebfa4d4b777af1a45bf1e17d0e8a44cefb35 (patch) | |
| tree | f64842f35af3fa39028e3375dc920edb05efda75 | |
| parent | 33d886dc5302751722938f040d112e3993131a9e (diff) | |
Remove a test that fails on i386
Bug: https://github.com/mjambon/atd/issues/147
Bug-Debian: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=901823
Gbp-Pq: Name 0001-Remove-a-test-that-fails-on-i386.patch
| -rw-r--r-- | atdgen/test/test_atdgen_main.ml | 8 |
1 files changed, 1 insertions, 7 deletions
diff --git a/atdgen/test/test_atdgen_main.ml b/atdgen/test/test_atdgen_main.ml index c663673..9a3da62 100644 --- a/atdgen/test/test_atdgen_main.ml +++ b/atdgen/test/test_atdgen_main.ml @@ -180,13 +180,7 @@ let test_ocaml_internals () = Gc.compact (); int := 123; Gc.compact (); - Alcotest.(check int) "equal" 123 { int = !int }.int; - - let float = ref (Obj.magic 0) in - Gc.compact (); - float := 4.5; - Gc.compact (); - check ({ float = !float }.float = 4.5) + Alcotest.(check int) "equal" 123 { int = !int }.int let test_biniou_missing_field () = expect_error |