Skip to content
This repository has been archived by the owner on Aug 22, 2023. It is now read-only.

Commit

Permalink
Update test vectors (56e0fd0) (#135)
Browse files Browse the repository at this point in the history 
Co-authored-by: alanshaw <alanshaw@users.noreply.github.com>
  • Loading branch information
@github-actions @alanshaw
github-actions[bot] and alanshaw authored Sep 10, 2020
1 parent 56e0fd0 commit 3380a82
Show file tree
Hide file tree
Showing 18 changed files with 1,112 additions and 0 deletions.
58 changes: 58 additions & 0 deletions corpus/vm_violations/actor_abort--custom-exit-code.json
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,58 @@
{
"class": "message",
"selector": {
"chaos_actor": "true"
},
"_meta": {
"id": "custom-exit-code",
"version": "v1",
"description": "actors can abort with custom exit codes",
"gen": [
{
"source": "genscript",
"version": "56e0fd078a4efb47e54d9f8b2019360286d20c09"
},
{
"source": "github.com/filecoin-project/lotus",
"version": "v0.6.2-0.20200909104030-159be5b543fd"
},
{
"source": "github.com/filecoin-project/specs-actors",
"version": "v0.9.7"
}
]
},
"car": "H4sIAAAAAAAA/0pflFqUn19S3HRDK0KdgbFwwRMmhf/RBduXNm8512YhZuuWfVUrUHlToN+PD/XyN804ra8nuCMp5ftQ8Kb2bqqxxaKnZ65UtkWwzZWZv/LRujc8/fliPocCwtPLUouKM/PzGLexEWd2k0uLDz9D58JEw8YmJwa2lhtaEdIMjKEMYmmZOfqG+mWpRZlpmakpRanpmcUlRZVITuG4mbSlWEKo6Mu0I1qibn8FT61+Zrl/7z7bU+cnWG9d3XaAwQFqKEvLDa1wkJlCEDOLS/KLEtNTC/LLU4uQzOPWaptSe3ZX/qGF6xRere9LObhF/uFUweMpl9+ft1115ttuuHlJLTe0AkDmcUPMS85IzC9GMmh6T/qXG0u1GKWmZNd9MjhbFGfjnCu953znTPcfwWq1XXPABjU1OTEwt9zQ8gcZxAU1qCg/D8mcuSdi/71iXVRoudzLR3BFc+ryJk3ZsvJdb4wq5LcL3zzGzeDQ5MSQ3HJDKwhkBi/EjMTk5PzSvBIkY+67lhzbvHBn1ok9G6ZsmV4zWbO3IufC+1+bLj1fcl26fAYX3F8MLTe0AkFG8UDDqbK4JDUXySTXDecPKZx7E10jk3TkiqStxZPXS/o6RIvmPI+fw7XhyUFEiLOColECZJQwSpDnJhZlpyK7jYPjdtWF3TNWzLLn+svi5bHPs6V+mpG7bYjaLxFVh1sd2nATGdGCKjMvE9mcpWx2s3/P2Fe53PXlZoljW0XeiZ6UPrZX+Gr7Db3m58cqcuDmpBAMrjOqx0pW5IU+sU31fsXEsLVW1t88WkTIyHEZX2z50lVvmRncGF5cWSrAADWQCS3QilLLE4tSkMyTUAuT+xSyjE/w08lPvI9ErzG8YhO7WRJV8uznI+GC8LPJDL4MbGUxlfYLGSovMDAwGOBO+9hFGxiJyw7NTgwByM76l3UmcfHibB5zGy+rvmXejdqfTs0OagiYMKfiCkdoFw8JSjWJU9bk0KCBPRNiiuxlJC5PTnCAgqYICQamOzkMWEA4A/MBbOIMDCT4kUGBBMXfpNAKBySmJnFlRFNCgwRqwYBg6RJXPDSCyz5WOYzEjsLRIq6QaHRiSJZBLxqQ2erEFRENWjgKBSxC65iIKyS6kaLmaWq3rcRZtoe3J4hu2fAm9KDyIt/oh69UblhaHN1hWe2vT55SKmYWUtIcKWodHBz0iPNXMwNDsyNDA3L6ApWmCFYqcWVqM5LzvK49/16vmLaPp6C5esW/PRseXZ21itls7qfD92+/ut79YL1EakFyRmJmnm5ZYk5mSmJJZn6eB3E6m5waGBrBZW0oY+YLY0+fibJZ//Qf2irG+cR8Z08KlUixJa7cbsSuXwa96EZm1xNXhHc6ODB4MghASxUvBsbv3sutClmuTG6KkAJxFs+qvLfBFb30CWOUnJa1XRdd2JOB/z8EMDjsYSOu1TXaiBrwRpQbg7hH2QuG0aYUCU0pRjeGiwGT42jQlKrinnWKAQAAAP//AQAA///0fh8B6wwAAA==",
"preconditions": {
"epoch": 0,
"state_tree": {
"root_cid": {
"/": "bafy2bzaced7vw4fxuwb3jtughald2rtl2uvfci5skfhpr4d7d7mtmcj325qeo"
}
}
},
"apply_messages": [
{
"bytes": "igBCAGJCAGQAQBo7msoAQgDIQgABCFgbgxgg9HZjdXN0b20gZXhpdCBjb2RlIGFib3J0",
"epoch": 0
}
],
"postconditions": {
"state_tree": {
"root_cid": {
"/": "bafy2bzaceahpa4hmpxowkmzyuls4zvdzqzmanhi4t6u6flxmbshw6fsmyjifo"
}
},
"receipts": [
{
"exit_code": 32,
"return": "",
"gas_used": 149719
}
]
},
"diagnostics": {
"format": "Lotus-ExecutionTrace-V1",
"data": "SDRzSUFBQUFBQUFBLzdTUlFXdmJUaERGdjRwNXAvOGY5ckNTbWtRZTZLRlZiRGVsZG9QYmhwQ1F3Mm8xckRkSTJyQzdNZ0xqNzE0azJkQ1NIcHBEOXpLenM4UHZ6Yng5UEdBZERPaUFPL2JCdWhZa0JiNDdFS0tjNXhCWWV0ZU10MFJLQ0d4Y3EzbHN1bE4xeHlBTTFaVUtYMnhqSXlpUjV6TldsOHlGZWdFaGxhZStXOCtON1Faa0FvRTF4NTJyUUxuQXJmS3FDU0NZM3BqNXA0Zm42bjRqeTFTYWgvdmRTMVY4ZkM3VGJYMnpXdG95K3l4eEZNUGdXeDJIMlJlOWpZV3JHSlNsQWx1T25XOUJiVmZYbytTUHdCVW9lVGUvU3VaSGdZWDN6b09ndXhCZE0rUGV4cGwyRmM5VTZYeWMvYmZsRWZZK1MvK0h3SFhuVlR3YnMxS2gyQ2x2T0lBZUQ5aW9abkRnYTF2c2xHM1hISUl5RElIYTZiTjhOS0FrdmNndk13RnRRRmsrcG9QbitaWEFmbmlYQW50OWltR0tNWUxrVWZ3aXNlTDRRVWZuWCtQbFJKWVRWYjRGT3RsLzArNmRucFo4QlUrei9PSnlFamlsZnlNaXdEMElGcitwamZNdmV0Yi9kSWRyMS83aEQ5NG84Q1R3clN1MXF1c3dVWTVQUHdNQUFQLy9obEZ1b2lzRA=="
}
}
62 changes: 62 additions & 0 deletions corpus/vm_violations/x--actor_abort--negative-exit-code.json
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,62 @@
{
"class": "message",
"selector": {
"chaos_actor": "true"
},
"hints": [
"incorrect",
"negate"
],
"_meta": {
"id": "negative-exit-code",
"version": "v1",
"description": "actors should not abort with negative exit codes",
"gen": [
{
"source": "genscript",
"version": "56e0fd078a4efb47e54d9f8b2019360286d20c09"
},
{
"source": "github.com/filecoin-project/lotus",
"version": "v0.6.2-0.20200909104030-159be5b543fd"
},
{
"source": "github.com/filecoin-project/specs-actors",
"version": "v0.9.7"
}
]
},
"car": "H4sIAAAAAAAA/0pflFqUn19S3HRDK0KdgbFwwRMmhf/RBduXNm8512YhZuuWfVUrUHlToN+PD/XyN804ra8nuCMp5ftQ8Kb2bqqxxaKnZ65UtkWwzZWZv/LRujc8/fliPocCwtPLUouKM/PzGLexEWd2k0uLDz9D58JEw8YmJwa2lhtaEdIMjKEMYmmZOfqG+mWpRZlpmakpRanpmcUlRZVITuG4mbSlWEKo6Mu0I1qibn8FT61+Zrl/7z7bU+cnWG9d3XaAwQFqKEvLDa1wkJlCEDOLS/KLEtNTC/LLU4uQzOPWaptSe3ZX/qGF6xRere9LObhF/uFUweMpl9+ft1115ttuuHlJLTe0AkDmcUPMS85IzC9GMmh6T/qXG0u1GKWmZNd9MjhbFGfjnCu953znTPcfwWq1XXPABjU1OTEwt9zQ8gcZxAU1qCg/D8mcuSdi/71iXVRoudzLR3BFc+ryJk3ZsvJdb4wq5LcL3zzGzeDQ5MSQ3HJDKwhkBi/EjMTk5PzSvBIkY+67lhzbvHBn1ok9G6ZsmV4zWbO3IufC+1+bLj1fcl26fAYX3F8MLTe0AkFG8UDDqbK4JDUXySTXDecPKZx7E10jk3TkiqStxZPXS/o6RIvmPI+fw7XhyUFEiLOColECZJQwSpDnJhZlpyK7jYPjdtWF3TNWzLLn+svi5bHPs6V+mpG7bYjaLxFVh1sd2nATGdGCKjMvE9mcpWx2s3/P2Fe53PXlZoljW0XeiZ6UPrZX+Gr7Db3m58cqcuDmpBAMrjOqx0pW5IU+sU31fsXEsLVW1t88WkTIyHEZX2z50lVvmRncGF5cWSrAADWQCS3QilLLE4tSkMyTUAuT+xSyjE/w08lPvI9ErzG8YhO7WRJV8uznI+GC8LPJDL4MbGUxlfYLGSovMDAwGOBO+9hFGxiJyw7NTgwByM76l3UmcfHibB5zGy+rvmXejdqfTs0OagiYMKfiCkdoFw8JSjWJU9bk0KCBPRNiiuxlJC5PTnCAgqYICQamOzkMWEA4A/MBbOIMDCT4kUGBBMXfpNAKBySmJnFlRFNCgwRqwYBg6RJXPDSCyz5WOYzEjsLRIq6QaHRiSJZBLxqQ2erEFRENWjgKBSxC65iIKyS6kaLmaWq3rcRZtoe3J4hu2fAm9KDyIt/oh69UblhaHN1hWe2vT55SKmYWUtIcKWodHBz0iPNXMwNDsyNDA3L6ApWmCFYqcWVqM5LzvK49/16vmLaPp6C5esW/PRseXZ21itls7qfD92+/ut79YL1EakFyRmJmnm5ZYk5mSmJJZn6eB3E6m5waGBrBZW0oY+YLY0+fibJZ//Qf2irG+cR8Z08KlUixJa7cbsSuXwa96EZm1xNXhHc6ODB4MghASxUvBsbv3sutClmuTG6KkAJxFs+qvLfBFb30CWOUnJa1XRdd2JOB/z8EMDjsYSOu1TXaiBrwRpQbg7hH2QuG0aYUCU0pRjeGiwGT42jQlKrinnWKAQAAAP//AQAA///0fh8B6wwAAA==",
"preconditions": {
"epoch": 0,
"state_tree": {
"root_cid": {
"/": "bafy2bzaced7vw4fxuwb3jtughald2rtl2uvfci5skfhpr4d7d7mtmcj325qeo"
}
}
},
"apply_messages": [
{
"bytes": "igBCAGJCAGQAQBo7msoAQgDIQgABCFgdgyD0eBhuZWdhdGl2ZSBleGl0IGNvZGUgYWJvcnQ=",
"epoch": 0
}
],
"postconditions": {
"state_tree": {
"root_cid": {
"/": "bafy2bzaceahpa4hmpxowkmzyuls4zvdzqzmanhi4t6u6flxmbshw6fsmyjifo"
}
},
"receipts": [
{
"exit_code": -1,
"return": "",
"gas_used": 151719
}
]
},
"diagnostics": {
"format": "Lotus-ExecutionTrace-V1",
"data": "SDRzSUFBQUFBQUFBLzdTUjBXdmJNQkRHLzVYd1BXMmdncFRRMWhIMFlVMVMwN0ZrWGJxMkxLVVBxbnpZQWxrYWttd3lRdjczWVR1QmplNWhlYWhmN253NmZ0OTNkODg3TEdNSnVjTWpoV2k4ZytRTTN6MGtFcDltWUxnSnZ1Ny9CT2RnV0htbnFXOTZWTFloU0hUVlhNVXZwallKVXZEajExZHZpR2JxSnlURy9OQjNGNmcyVFljVVlGaFNxbndCbVRIY3FhRHFDSW55MTV6VGRkVnNub3FxeU8xNGMzOXRLYmY4TmwrMW0veWgvUEgwdWRYdTJ4WDJyRE8vMXFuenY5aWFOUE1GUVo0SmhqV2xKamhJMTFqYnl6NUVLaURGdWJnVTB6M0RJZ1FmSU9Hb1ZNbTBOS0t0U1NQdEN4cXBWeC9TNk1PYWV0elZtZmdJaG5rVFZEcXVKMWR4VnFsUVVvUjgzbUdsNm00UFg5MnNVc1l0S1VaVkVoaXMxMGNEcVlRVTQ4dnNZc0tnUzhoSjFxZmQ1ck1wUTl1OWM0WldIMkljWWtxUWZNLytrTWdwZmRMSmg3ZDRQcEQ1UU9XblFJY2ozTHJXNjJISU4vRHhKRHUvR0FRTzZmK0lNTkFXRWdaL3FmWCtGMXZTN3pyRDNMdC8zT0JFZ1JlRysrWlZLMnZqUU5tLy9BNEFBUC8vcWlHdDJERUQ="
}
}
62 changes: 62 additions & 0 deletions corpus/vm_violations/x--actor_abort--no-exit-code.json
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,62 @@
{
"class": "message",
"selector": {
"chaos_actor": "true"
},
"hints": [
"incorrect",
"negate"
],
"_meta": {
"id": "no-exit-code",
"version": "v1",
"description": "actor failure, a panic with no associated exit code",
"gen": [
{
"source": "genscript",
"version": "56e0fd078a4efb47e54d9f8b2019360286d20c09"
},
{
"source": "github.com/filecoin-project/lotus",
"version": "v0.6.2-0.20200909104030-159be5b543fd"
},
{
"source": "github.com/filecoin-project/specs-actors",
"version": "v0.9.7"
}
]
},
"car": "H4sIAAAAAAAA/0pflFqUn19S3HRDK0KdgbFwwRMmhf/RBduXNm8512YhZuuWfVUrUHlToN+PD/XyN804ra8nuCMp5ftQ8Kb2bqqxxaKnZ65UtkWwzZWZv/LRujc8/fliPocCwtPLUouKM/PzGLexEWd2k0uLDz9D58JEw8YmJwa2lhtaEdIMjKEMYmmZOfqG+mWpRZlpmakpRanpmcUlRZVITuG4mbSlWEKo6Mu0I1qibn8FT61+Zrl/7z7bU+cnWG9d3XaAwQFqKEvLDa1wkJlCEDOLS/KLEtNTC/LLU4uQzOPWaptSe3ZX/qGF6xRere9LObhF/uFUweMpl9+ft1115ttuuHlJLTe0AkDmcUPMS85IzC9GMmh6T/qXG0u1GKWmZNd9MjhbFGfjnCu953znTPcfwWq1XXPABjU1OTEwt9zQ8gcZxAU1qCg/D8mcuSdi/71iXVRoudzLR3BFc+ryJk3ZsvJdb4wq5LcL3zzGzeDQ5MSQ3HJDKwhkBi/EjMTk5PzSvBIkY+67lhzbvHBn1ok9G6ZsmV4zWbO3IufC+1+bLj1fcl26fAYX3F8MLTe0AkFG8UDDqbK4JDUXySTXDecPKZx7E10jk3TkiqStxZPXS/o6RIvmPI+fw7XhyUFEiLOColECZJQwSpDnJhZlpyK7jYPjdtWF3TNWzLLn+svi5bHPs6V+mpG7bYjaLxFVh1sd2nATGdGCKjMvE9mcpWx2s3/P2Fe53PXlZoljW0XeiZ6UPrZX+Gr7Db3m58cqcuDmpBAMrjOqx0pW5IU+sU31fsXEsLVW1t88WkTIyHEZX2z50lVvmRncGF5cWSrAADWQCS3QilLLE4tSkMyTUAuT+xSyjE/w08lPvI9ErzG8YhO7WRJV8uznI+GC8LPJDL4MbGUxlfYLGSovMDAwGOBO+9hFGxiJyw7NTgwByM76l3UmcfHibB5zGy+rvmXejdqfTs0OagiYMKfiCkdoFw8JSjWJU9bk0KCBPRNiiuxlJC5PTnCAgqYICQamOzkMWEA4A/MBbOIMDCT4kUGBBMXfpNAKBySmJnFlRFNCgwRqwYBg6RJXPDSCyz5WOYzEjsLRIq6QaHRiSJZBLxqQ2erEFRENWjgKBSxC65iIKyS6kaLmaWq3rcRZtoe3J4hu2fAm9KDyIt/oh69UblhaHN1hWe2vT55SKmYWUtIcKWodHBz0iPNXMwNDsyNDA3L6ApWmCFYqcWVqM5LzvK49/16vmLaPp6C5esW/PRseXZ21itls7qfD92+/ut79YL1EakFyRmJmnm5ZYk5mSmJJZn6eB3E6m5waGBrBZW0oY+YLY0+fibJZ//Qf2irG+cR8Z08KlUixJa7cbsSuXwa96EZm1xNXhHc6ODB4MghASxUvBsbv3sutClmuTG6KkAJxFs+qvLfBFb30CWOUnJa1XRdd2JOB/z8EMDjsYSOu1TXaiBrwRpQbg7hH2QuG0aYUCU0pRjeGiwGT42jQlKrinnWKAQAAAP//AQAA///0fh8B6wwAAA==",
"preconditions": {
"epoch": 0,
"state_tree": {
"root_cid": {
"/": "bafy2bzaced7vw4fxuwb3jtughald2rtl2uvfci5skfhpr4d7d7mtmcj325qeo"
}
}
},
"apply_messages": [
{
"bytes": "igBCAGJCAGQAQBo7msoAQgDIQgABCFaDAPVybm8gZXhpdCBjb2RlIGFib3J0",
"epoch": 0
}
],
"postconditions": {
"state_tree": {
"root_cid": {
"/": "bafy2bzaceahpa4hmpxowkmzyuls4zvdzqzmanhi4t6u6flxmbshw6fsmyjifo"
}
},
"receipts": [
{
"exit_code": 1,
"return": "",
"gas_used": 143719
}
]
},
"diagnostics": {
"format": "Lotus-ExecutionTrace-V1",
"data": "SDRzSUFBQUFBQUFBLzdTUlFXL2JQZ3pGdjRyeFR2OC9vSU9VdEoxTklJY3VTWU1DUzllbFc3Q3U2RUdWT1VlWUxSV1NuR1VJOHQwSDJ3bXdvVHVzaC9sQ21pSis3NUY4MkdNWks5QWVhdzdSZWdlU0FoODlDRWtXT1FTdWdtLzZQeVVsQkc2OE05dzNyWFhkTWdoZGRhSGpPOXZZQkZMeTlQWFZLK2FwZmdaaEpJOTl0NEViMjNaSUJZRWxwNDB2UWJuQXJRNjZpU0JVMzJmS05PZmI2OFg2VEgvK1VOMlBpbTlmN3Q1dTdwdmlSM2s1bWVBZ090TXJrenJmODUxTlUxOHlTQW1zT0xYQmdWeGIxNzNhcDhnbFNKMk4zNmppSURBUHdRY1E0ak9iVEp2a1E4eSthbHUzZ1NselB1T2RUWm54SldmNnlZZVUvYmZpSGo1Ui8wTmcxZ2FkVGp0YTZEamQ2RkJ4QkQzc2NhT2JiaG52M1hTanJWdHlqTHBpQ05UZW5PeWtDcVJVa1YrTUJVd0ZHdWQ5MnEwL1Z3TGI3bDBLYk0weHhpR21CSklIOFl2RWd0Tmw1LzBsWGc1a09WRGxhNkRESmE3ZDFwdGh5QmZ3MFRnL3Z4Z0VqdW5maUFqd0RnU0wzOVI2Ly9NZG0zODZ3OHk3UDl6Z2xRS1BBbmZ0azlGMUhRZks0ZkZuQUFBQS8vK0taejRVTmdNQQ=="
}
}
62 changes: 62 additions & 0 deletions corpus/vm_violations/x--actor_abort--system-exit-code-1.json
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,62 @@
{
"class": "message",
"selector": {
"chaos_actor": "true"
},
"hints": [
"incorrect",
"negate"
],
"_meta": {
"id": "system-exit-code-1",
"version": "v1",
"description": "actors should not abort with SysErrSenderInvalid(1)",
"gen": [
{
"source": "genscript",
"version": "56e0fd078a4efb47e54d9f8b2019360286d20c09"
},
{
"source": "github.com/filecoin-project/lotus",
"version": "v0.6.2-0.20200909104030-159be5b543fd"
},
{
"source": "github.com/filecoin-project/specs-actors",
"version": "v0.9.7"
}
]
},
"car": "H4sIAAAAAAAA/0pflFqUn19S3HRDK0KdgbFwwRMmhf/RBduXNm8512YhZuuWfVUrUHlToN+PD/XyN804ra8nuCMp5ftQ8Kb2bqqxxaKnZ65UtkWwzZWZv/LRujc8/fliPocCwtPLUouKM/PzGLexEWd2k0uLDz9D58JEw8YmJwa2lhtaEdIMjKEMYmmZOfqG+mWpRZlpmakpRanpmcUlRZVITuG4mbSlWEKo6Mu0I1qibn8FT61+Zrl/7z7bU+cnWG9d3XaAwQFqKEvLDa1wkJlCEDOLS/KLEtNTC/LLU4uQzOPWaptSe3ZX/qGF6xRere9LObhF/uFUweMpl9+ft1115ttuuHlJLTe0AkDmcUPMS85IzC9GMmh6T/qXG0u1GKWmZNd9MjhbFGfjnCu953znTPcfwWq1XXPABjU1OTEwt9zQ8gcZxAU1qCg/D8mcuSdi/71iXVRoudzLR3BFc+ryJk3ZsvJdb4wq5LcL3zzGzeDQ5MSQ3HJDKwhkBi/EjMTk5PzSvBIkY+67lhzbvHBn1ok9G6ZsmV4zWbO3IufC+1+bLj1fcl26fAYX3F8MLTe0AkFG8UDDqbK4JDUXySTXDecPKZx7E10jk3TkiqStxZPXS/o6RIvmPI+fw7XhyUFEiLOColECZJQwSpDnJhZlpyK7jYPjdtWF3TNWzLLn+svi5bHPs6V+mpG7bYjaLxFVh1sd2nATGdGCKjMvE9mcpWx2s3/P2Fe53PXlZoljW0XeiZ6UPrZX+Gr7Db3m58cqcuDmpBAMrjOqx0pW5IU+sU31fsXEsLVW1t88WkTIyHEZX2z50lVvmRncGF5cWSrAADWQCS3QilLLE4tSkMyTUAuT+xSyjE/w08lPvI9ErzG8YhO7WRJV8uznI+GC8LPJDL4MbGUxlfYLGSovMDAwGOBO+9hFGxiJyw7NTgwByM76l3UmcfHibB5zGy+rvmXejdqfTs0OagiYMKfiCkdoFw8JSjWJU9bk0KCBPRNiiuxlJC5PTnCAgqYICQamOzkMWEA4A/MBbOIMDCT4kUGBBMXfpNAKBySmJnFlRFNCgwRqwYBg6RJXPDSCyz5WOYzEjsLRIq6QaHRiSJZBLxqQ2erEFRENWjgKBSxC65iIKyS6kaLmaWq3rcRZtoe3J4hu2fAm9KDyIt/oh69UblhaHN1hWe2vT55SKmYWUtIcKWodHBz0iPNXMwNDsyNDA3L6ApWmCFYqcWVqM5LzvK49/16vmLaPp6C5esW/PRseXZ21itls7qfD92+/ut79YL1EakFyRmJmnm5ZYk5mSmJJZn6eB3E6m5waGBrBZW0oY+YLY0+fibJZ//Qf2irG+cR8Z08KlUixJa7cbsSuXwa96EZm1xNXhHc6ODB4MghASxUvBsbv3sutClmuTG6KkAJxFs+qvLfBFb30CWOUnJa1XRdd2JOB/z8EMDjsYSOu1TXaiBrwRpQbg7hH2QuG0aYUCU0pRjeGiwGT42jQlKrinnWKAQAAAP//AQAA///0fh8B6wwAAA==",
"preconditions": {
"epoch": 0,
"state_tree": {
"root_cid": {
"/": "bafy2bzaced7vw4fxuwb3jtughald2rtl2uvfci5skfhpr4d7d7mtmcj325qeo"
}
}
},
"apply_messages": [
{
"bytes": "igBCAGJCAGQAQBo7msoAQgDIQgABCFghgwH0eBxTeXNFcnJTZW5kZXJJbnZhbGlkKDEpIGFib3J0",
"epoch": 0
}
],
"postconditions": {
"state_tree": {
"root_cid": {
"/": "bafy2bzaceahpa4hmpxowkmzyuls4zvdzqzmanhi4t6u6flxmbshw6fsmyjifo"
}
},
"receipts": [
{
"exit_code": 1,
"return": "",
"gas_used": 155719
}
]
},
"diagnostics": {
"format": "Lotus-ExecutionTrace-V1",
"data": "SDRzSUFBQUFBQUFBLzdTUlFXL2FRQkNGLzByMFRvbTBoOTFZcEdhbEhsb3dMclRRQ0dnYUVlV3dYbytNRlhzMzJsMVRLc1IvcjJ5RDFDbzlsRU45bWZIczZIdnpacDRPbVBzQzhvQUhjcjYwQnBJenJDMGtBaC9HWUpnNFczZC9nbk13TEt6UjFEVTlxS29oU0xUVlZQa3ZaVjBHU01IUFgxZWRFSTNVS3lSdSthbnYzbEZkTmkxU2dHRk9ZV3R6eUpqaFhqbFZlMGdVUHo1eCtyaGYwK05pb3Mxc3ZmaytlTms4em1hWjJXeXp0SHI1UEU1ZXArbWt6S0laeDVHMUJwWTZ0QjZTZlJsR05pZEl3YkNrMERnRGFacXE2cFMvZWNvaHhXRHdUZ3lQRElsejFrRmk5ZE1uenEzSTVPU21acWVxTXI4V04xY3FzeTVjWFMrcEk3NFhOMkFZTjA2Rjg1SlM1VWRiNVFyeWtFOEhMRlRkYnVPckdXMVZhZWJrdlNvSURKWFY1eGxDQVNraUVkOUZETHFBak9JdWJmYy9qQmgyN1R0bjJPbFQ5SDBNQVpJZjJXOFNLWVVQT2xqM0ZzOTdNdStwL0JKb2Y0cXAyVm5kbTN3RHY0M2l3VjB2Y0VyL1JZU0I5cEFvOFlkYU4zK3lKLzFmUFl5dCtjc05MaFI0WmxnMW1WWlY1WHZLOGZsWEFBQUEvLy9xYUJGU053TUE="
}
}
62 changes: 62 additions & 0 deletions corpus/vm_violations/x--actor_abort--system-exit-code-10.json
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,62 @@
{
"class": "message",
"selector": {
"chaos_actor": "true"
},
"hints": [
"incorrect",
"negate"
],
"_meta": {
"id": "system-exit-code-10",
"version": "v1",
"description": "actors should not abort with SysErrorIllegalArgument(10)",
"gen": [
{
"source": "genscript",
"version": "56e0fd078a4efb47e54d9f8b2019360286d20c09"
},
{
"source": "github.com/filecoin-project/lotus",
"version": "v0.6.2-0.20200909104030-159be5b543fd"
},
{
"source": "github.com/filecoin-project/specs-actors",
"version": "v0.9.7"
}
]
},
"car": "H4sIAAAAAAAA/0pflFqUn19S3HRDK0KdgbFwwRMmhf/RBduXNm8512YhZuuWfVUrUHlToN+PD/XyN804ra8nuCMp5ftQ8Kb2bqqxxaKnZ65UtkWwzZWZv/LRujc8/fliPocCwtPLUouKM/PzGLexEWd2k0uLDz9D58JEw8YmJwa2lhtaEdIMjKEMYmmZOfqG+mWpRZlpmakpRanpmcUlRZVITuG4mbSlWEKo6Mu0I1qibn8FT61+Zrl/7z7bU+cnWG9d3XaAwQFqKEvLDa1wkJlCEDOLS/KLEtNTC/LLU4uQzOPWaptSe3ZX/qGF6xRere9LObhF/uFUweMpl9+ft1115ttuuHlJLTe0AkDmcUPMS85IzC9GMmh6T/qXG0u1GKWmZNd9MjhbFGfjnCu953znTPcfwWq1XXPABjU1OTEwt9zQ8gcZxAU1qCg/D8mcuSdi/71iXVRoudzLR3BFc+ryJk3ZsvJdb4wq5LcL3zzGzeDQ5MSQ3HJDKwhkBi/EjMTk5PzSvBIkY+67lhzbvHBn1ok9G6ZsmV4zWbO3IufC+1+bLj1fcl26fAYX3F8MLTe0AkFG8UDDqbK4JDUXySTXDecPKZx7E10jk3TkiqStxZPXS/o6RIvmPI+fw7XhyUFEiLOColECZJQwSpDnJhZlpyK7jYPjdtWF3TNWzLLn+svi5bHPs6V+mpG7bYjaLxFVh1sd2nATGdGCKjMvE9mcpWx2s3/P2Fe53PXlZoljW0XeiZ6UPrZX+Gr7Db3m58cqcuDmpBAMrjOqx0pW5IU+sU31fsXEsLVW1t88WkTIyHEZX2z50lVvmRncGF5cWSrAADWQCS3QilLLE4tSkMyTUAuT+xSyjE/w08lPvI9ErzG8YhO7WRJV8uznI+GC8LPJDL4MbGUxlfYLGSovMDAwGOBO+9hFGxiJyw7NTgwByM76l3UmcfHibB5zGy+rvmXejdqfTs0OagiYMKfiCkdoFw8JSjWJU9bk0KCBPRNiiuxlJC5PTnCAgqYICQamOzkMWEA4A/MBbOIMDCT4kUGBBMXfpNAKBySmJnFlRFNCgwRqwYBg6RJXPDSCyz5WOYzEjsLRIq6QaHRiSJZBLxqQ2erEFRENWjgKBSxC65iIKyS6kaLmaWq3rcRZtoe3J4hu2fAm9KDyIt/oh69UblhaHN1hWe2vT55SKmYWUtIcKWodHBz0iPNXMwNDsyNDA3L6ApWmCFYqcWVqM5LzvK49/16vmLaPp6C5esW/PRseXZ21itls7qfD92+/ut79YL1EakFyRmJmnm5ZYk5mSmJJZn6eB3E6m5waGBrBZW0oY+YLY0+fibJZ//Qf2irG+cR8Z08KlUixJa7cbsSuXwa96EZm1xNXhHc6ODB4MghASxUvBsbv3sutClmuTG6KkAJxFs+qvLfBFb30CWOUnJa1XRdd2JOB/z8EMDjsYSOu1TXaiBrwRpQbg7hH2QuG0aYUCU0pRjeGiwGT42jQlKrinnWKAQAAAP//AQAA///0fh8B6wwAAA==",
"preconditions": {
"epoch": 0,
"state_tree": {
"root_cid": {
"/": "bafy2bzaced7vw4fxuwb3jtughald2rtl2uvfci5skfhpr4d7d7mtmcj325qeo"
}
}
},
"apply_messages": [
{
"bytes": "igBCAGJCAGQAQBo7msoAQgDIQgABCFgmgwr0eCFTeXNFcnJvcklsbGVnYWxBcmd1bWVudCgxMCkgYWJvcnQ=",
"epoch": 0
}
],
"postconditions": {
"state_tree": {
"root_cid": {
"/": "bafy2bzaceahpa4hmpxowkmzyuls4zvdzqzmanhi4t6u6flxmbshw6fsmyjifo"
}
},
"receipts": [
{
"exit_code": 10,
"return": "",
"gas_used": 160719
}
]
},
"diagnostics": {
"format": "Lotus-ExecutionTrace-V1",
"data": "SDRzSUFBQUFBQUFBLzdTUndXN2JQQkNFWHlXWVV3THdRTWI0L2NzRWNrZ1YyMGhRdTZtVDJnMkNIR2hxUVF1aHlJS2tWQldHMzcyUVpBTXQwa056cUM1Y2tZdHZabmFmOTFoRUE3bkhta0lzdllQa0RJOGVFb2xQTWpETWdxLzZQOEU1R0piZWFlcWIxc3JXQkludWRxN2l4N0lxRTZUZ3A2Ky9uUkhsNmhza0x2bXg3ejVRVmRZZFVvQmhRV25uQzhpTTRWNEZWVVZJbU8rQlV6NTdwSy9MbVhaM2pYNjFjVHRmdTZkTiswRlhoZGh1MW5XUm0zYVJ2NXFuelYyajNlY3JIRmdYWktWVGwyWGFsaW4zQlhWMkdGYVU2dUFnWFcxdGIrRkxwQUpTalBuL1luSmdtSWJnQXlRZWZzUyt2TFdXakxMWHdkUVZ1WFF1K01XWjJ2cVF6czVYMUhPdkJMOEF3MDBkVkRyTmJLNWl2bFBCVUlSODNtT3BxbTQ0bjF5K1U2VmJVSXpLRUJpczF5Y255VUNLMFRnYmp4aTBnUnhsZmRtdFk1SXhOTjA3WjJqMDhZekRtUklrUDdCZkpPYVVyblh5NFMyZUQyUStVUGw3b01ObWJsM2o5UkR5RGZ4eWxQMDNIZ1NPNWQrSU1GQUxpUksvcWZYK3B5M3BmNXJoeHJzLzdPQ2RBaThNRC9WV0sydmpRRG04L0F3QUFQLy92SVByR0VZRA=="
}
}
Loading

0 comments on commit 3380a82

Please sign in to comment.