Merge pull request #4644 from svorenova/unit-test-folder

svorenova · web-flow · commit 88f2a96f6e10 · 2019-05-10T14:37:58.000+01:00
Update unit test class location
diff --git a/jbmc/unit/java_bytecode/ci_lazy_methods/lazy_load_lambdas.cpp b/jbmc/unit/java_bytecode/ci_lazy_methods/lazy_load_lambdas.cpp
@@ -196,8 +196,7 @@ SCENARIO(
 {
   const symbol_tablet symbol_table = load_java_class_lazy(
     "ExternalLambdaAccessor",
-    "./java_bytecode/java_bytecode_parse_lambdas/lambda_examples/"
-    "openjdk_8_classes",
+    "./java_bytecode/java_bytecode_parse_lambdas/lambda_examples",
     "ExternalLambdaAccessor.test");
 
   THEN("Then the lambdas should be loaded")

Original file line number	Diff line number	Diff line change
`@@ -196,8 +196,7 @@ SCENARIO(`
`196`	`196`	`{`
`197`	`197`	`const symbol_tablet symbol_table = load_java_class_lazy(`
`198`	`198`	`"ExternalLambdaAccessor",`
`199`		`- "./java_bytecode/java_bytecode_parse_lambdas/lambda_examples/"`
`200`		`- "openjdk_8_classes",`
	`199`	`+ "./java_bytecode/java_bytecode_parse_lambdas/lambda_examples",`
`201`	`200`	`"ExternalLambdaAccessor.test");`
`202`	`201`
`203`	`202`	`THEN("Then the lambdas should be loaded")`