{
"preemption_bound": null,
"pos": 0,
"branches": {
"entries": [
{
"Schedule": {
"preemptions": 0,
"initial_active": 0,
"threads": [
"Active",
"Disabled",
"Disabled",
"Disabled"
],
"prev": null
}
},
{
"Schedule": {
"preemptions": 0,
"initial_active": 0,
"threads": [
"Active",
"Skip",
"Disabled",
"Disabled"
],
"prev": {
"index": 0,
"_p": null
}
}
},
{
"Schedule": {
"preemptions": 0,
"initial_active": null,
"threads": [
"Disabled",
"Active",
"Skip",
"Disabled"
],
"prev": {
"index": 1,
"_p": null
}
}
},
{
"Schedule": {
"preemptions": 0,
"initial_active": 1,
"threads": [
"Disabled",
"Active",
"Skip",
"Disabled"
],
"prev": {
"index": 2,
"_p": null
}
}
},
{
"Load": {
"values": [
0,
0,
0,
0,
0,
0,
0
],
"pos": 0,
"len": 1
}
},
{
"Schedule": {
"preemptions": 0,
"initial_active": 1,
"threads": [
"Disabled",
"Active",
"Skip",
"Disabled"
],
"prev": {
"index": 3,
"_p": null
}
}
},
{
"Schedule": {
"preemptions": 0,
"initial_active": 1,
"threads": [
"Disabled",
"Active",
"Skip",
"Disabled"
],
"prev": {
"index": 5,
"_p": null
}
}
},
{
"Schedule": {
"preemptions": 0,
"initial_active": 1,
"threads": [
"Disabled",
"Active",
"Skip",
"Disabled"
],
"prev": {
"index": 6,
"_p": null
}
}
},
{
"Load": {
"values": [
2,
0,
0,
0,
0,
0,
0
],
"pos": 0,
"len": 1
}
},
{
"Schedule": {
"preemptions": 0,
"initial_active": 1,
"threads": [
"Disabled",
"Visited",
"Active",
"Disabled"
],
"prev": {
"index": 7,
"_p": null
}
}
}
]
}
}