tests: make the lib component pkey 2 not 0

Author: kkysen

tests/post_condition/CMakeLists.txt

@@ -1,9 +1,13 @@
 # Build the wrapped lib
-define_shared_lib(SRCS dav1d.c)
+define_shared_lib(
+    SRCS dav1d.c
+    PKEY 2
+)
 
 # Build the test
 define_test(
     SRCS main.c
+    PKEY 1
     NEEDS_LD_WRAP
     CRITERION_TEST
 )

tests/post_condition/dav1d.c

@@ -6,6 +6,9 @@ RUN: cat dav1d_call_gates_1.ld | FileCheck --check-prefix=LINKARGS %s
 #include <ia2_test_runner.h>
 #include <signal.h>
 
+#define IA2_COMPARTMENT 2
+#include <ia2_compartment_init.inc>
+
 bool corrupt_stride IA2_SHARED_DATA = false;
 
 // LINKARGS: --wrap=dav1d_get_picture

tests/post_condition/main.c

@@ -9,7 +9,7 @@ RUN: sh -c 'if [ ! -s "dav1d_call_gates_0.ld" ]; then echo "No link args as expe
 #include <ia2_test_runner.h>
 #include <signal.h>
 
-INIT_RUNTIME(1);
+INIT_RUNTIME(2);
 #define IA2_COMPARTMENT 1
 #include <ia2_compartment_init.inc>