Extract test for octApron SV-COMP float-newlib unsoundness via typedef
Extract test for octApron SV-COMP float-newlib unsoundness via typedef

goblint/analyzer,goblint/analyzer,goblint/analyzer,goblint/analyzer,goblint/analyzer