Generics unit test: set integer widths

smowton · smowton · commit 8c231e96deda · 2019-02-14T08:45:54.000Z
This test indirectly uses object_descriptor_exprt, which uses simplify_sum, which in turn requires
integer constants to have defined widths.
diff --git a/jbmc/unit/java_bytecode/goto_program_generics/generic_bases_test.cpp b/jbmc/unit/java_bytecode/goto_program_generics/generic_bases_test.cpp
@@ -21,6 +21,8 @@ SCENARIO(
   "Instantiate generic parameters of superclasses",
   "[core][goto_program_generics][generic_bases_test]")
 {
+  config.ansi_c.set_LP64();
+
   GIVEN(
     "A class extending a generic class instantiated with a standard library "
     "class")

Original file line number	Diff line number	Diff line change
`@@ -21,6 +21,8 @@ SCENARIO(`
`21`	`21`	`"Instantiate generic parameters of superclasses",`
`22`	`22`	`"[core][goto_program_generics][generic_bases_test]")`
`23`	`23`	`{`
	`24`	`+ config.ansi_c.set_LP64();`
	`25`	`+`
`24`	`26`	`GIVEN(`
`25`	`27`	`"A class extending a generic class instantiated with a standard library "`
`26`	`28`	`"class")`