scripts/model_output/sonata-simulator/examples/temporal_safety.txt

Allocating compartment: ----- Simple Case -----
Allocating compartment: Allocated: 0x109910 (v:1 0x109910-0x109940 l:0x30 o:0x0 p: G RWcgm- -- ---)
Allocating compartment: Use after free: 0x109910 (v:0 0x109910-0x109940 l:0x30 o:0x0 p: G RWcgm- -- ---)
Allocating compartment: ----- Sub object -----
Allocating compartment: Allocated : 0x109948 (v:1 0x109948-0x1099b0 l:0x68 o:0x0 p: G RWcgm- -- ---)
Allocating compartment: Sub Object: 0x109961 (v:1 0x109961-0x109993 l:0x32 o:0x0 p: G RWcgm- -- ---)
Allocating compartment: heap quota: 3984
Allocating compartment: After free of sub object
Allocating compartment: Allocated : 0x109948 (v:1 0x109948-0x1099b0 l:0x68 o:0x0 p: G RWcgm- -- ---)
Allocating compartment: Sub Object: 0x109961 (v:1 0x109961-0x109993 l:0x32 o:0x0 p: G RWcgm- -- ---)
Allocating compartment: heap quota: 3984
Allocating compartment: After free of allocation
Allocating compartment: Allocated : 0x109948 (v:0 0x109948-0x1099b0 l:0x68 o:0x0 p: G RWcgm- -- ---)
Allocating compartment: Sub Object: 0x109961 (v:0 0x109961-0x109993 l:0x32 o:0x0 p: G RWcgm- -- ---)
Allocating compartment: heap quota: 4096
Allocating compartment: ----- Sub object with a claim -----
Allocating compartment: Allocated : 0x1099b8 (v:1 0x1099b8-0x109a20 l:0x68 o:0x0 p: G RWcgm- -- ---)
Allocating compartment: Sub Object: 0x1099d1 (v:1 0x1099d1-0x109a03 l:0x32 o:0x0 p: G RWcgm- -- ---)
Allocating compartment: heap quota: 3984
Allocating compartment: heap quota after claim: 3968
Allocating compartment: After free of allocation
Allocating compartment: Allocated : 0x1099b8 (v:1 0x1099b8-0x109a20 l:0x68 o:0x0 p: G RWcgm- -- ---)
Allocating compartment: Sub Object: 0x1099d1 (v:1 0x1099d1-0x109a03 l:0x32 o:0x0 p: G RWcgm- -- ---)
Allocating compartment: heap quota: 3968
Allocating compartment: After free of sub object
Allocating compartment: Allocated : 0x1099b8 (v:0 0x1099b8-0x109a20 l:0x68 o:0x0 p: G RWcgm- -- ---)
Allocating compartment: Sub Object: 0x1099d1 (v:0 0x1099d1-0x109a03 l:0x32 o:0x0 p: G RWcgm- -- ---)
Allocating compartment: heap quota: 4096
Allocating compartment: ----- Sub object with a fast claim -----
Allocating compartment: Allocated : 0x109a38 (v:1 0x109a38-0x109aa0 l:0x68 o:0x0 p: G RWcgm- -- ---)
Allocating compartment: Sub Object: 0x109a51 (v:1 0x109a51-0x109a83 l:0x32 o:0x0 p: G RWcgm- -- ---)
Allocating compartment: heap quota: 3984
Allocating compartment: After free
Allocating compartment: Allocated : 0x109a38 (v:0 0x109a38-0x109aa0 l:0x68 o:0x0 p: G RWcgm- -- ---)
Allocating compartment: Sub Object: 0x109a51 (v:0 0x109a51-0x109a83 l:0x32 o:0x0 p: G RWcgm- -- ---)
Allocating compartment: heap quota: 4096
Allocating compartment: ----- Claim in another compartment -----
Allocating compartment: Allocated : 0x109aa8 (v:1 0x109aa8-0x109ab8 l:0x10 o:0x0 p: G RWcgm- -- ---)
Allocating compartment: heap quota: 4072
Claimant compartment: Initial quota: 4096
Claimant compartment: Make Claim : 0x109aa8 (v:1 0x109aa8-0x109ab8 l:0x10 o:0x0 p: G RWcgm- -- ---)
Claimant compartment: heap quota: 4056
Allocating compartment: After free: 0x109aa8 (v:1 0x109aa8-0x109ab8 l:0x10 o:0x0 p: G RWcgm- -- ---)
Allocating compartment: heap quota: 4096
Claimant compartment: Show Claim : 0x109aa8 (v:1 0x109aa8-0x109ab8 l:0x10 o:0x0 p: G RWcgm- -- ---)
Claimant compartment: Initial quota: 4056
Claimant compartment: Make Claim : 0x109ad0 (v:1 0x109ad0-0x109ae0 l:0x10 o:0x0 p: G RWcgm- -- ---)
Claimant compartment: heap quota: 4056
Allocating compartment: After make claim
Allocating compartment: x: 0x109aa8 (v:0 0x109aa8-0x109ab8 l:0x10 o:0x0 p: G RWcgm- -- ---)
Allocating compartment: y: 0x109ad0 (v:1 0x109ad0-0x109ae0 l:0x10 o:0x0 p: G RWcgm- -- ---)
Claimant compartment: Show Claim : 0x109ad0 (v:1 0x109ad0-0x109ae0 l:0x10 o:0x0 p: G RWcgm- -- ---)