Raúl Kripalani
45cd510da1
conformance: support multiple protocol versions.
...
This PR introduces support for running multiple variants of a vector,
each of which targets a unique protocol version.
tvx tooling has been adapted to produce and parse the new version
of the schema.
2020-10-14 14:39:43 +01:00
Steven Allen
748d2e82a7
unshare the journal
...
Motivation:
* Run lotus with the race detector enabled (primary motivation).
* Allow multiple lotus nodes in a process (not a high priority).
Previously, the journal was shared between all lotus instances, but it was
initialized for every new node. This caused safety problems in tests (at a
minimum).
This patch explicitly passes the journal to all services that need it.
2020-10-09 13:23:07 -07:00
Raúl Kripalani
98d702fb5a
add signature imports.
2020-10-08 16:44:20 +01:00
Raúl Kripalani
3201e0eb8f
Merge branch 'master' into conformance/rm-faked-syscalls
2020-10-08 15:17:26 +01:00
Raúl Kripalani
8d2d74438b
Merge pull request #4221 from filecoin-project/conformance/randomness
2020-10-08 15:16:32 +01:00
Raúl Kripalani
4937ca1a96
conformance: remove usage of fake syscalls.
2020-10-08 14:55:03 +01:00
Raúl Kripalani
c02daca9e9
work around #4223 .
2020-10-07 20:12:35 +01:00
Raúl Kripalani
5bd6a3cdad
conformance: record randomness in tvx; replay in driver.
2020-10-07 19:57:42 +01:00
Steven Allen
df4b068d0e
Merge branch 'master' into next
2020-10-07 11:55:00 -07:00
Raúl Kripalani
d3dc560f53
conformance: minor refactors.
2020-10-07 13:01:08 +01:00
Steven Allen
16243b97aa
make state diffing work with partial state trees
2020-10-05 17:03:28 -07:00
Steven Allen
89b88c1e0d
fix conformance tests
2020-10-05 17:03:28 -07:00
Steven Allen
4989b1cc90
Merge branch 'master' into asr/spec-v1
2020-09-30 09:19:12 -07:00
Raúl Kripalani
eb6191d0ff
tvx: precursor selection modes; canonical message fetching; basefee.
2020-09-30 11:02:10 +01:00
Raúl Kripalani
4b3b35c9de
conformance: record and feed circulating supply.
2020-09-28 23:04:52 +01:00
Steven Allen
5f3160cf5b
continue expanding vm abstraction layer
2020-09-28 12:48:08 -07:00
Raúl Kripalani
a0dffb44d3
tvx/extract: perform sanity check on receipt.
2020-09-28 13:11:34 +01:00
Raúl Kripalani
fe869c9c22
address review comments; lint.
2020-09-27 21:06:07 +01:00
Raúl Kripalani
f5f23f7291
driver: option for VM flushing.
2020-09-27 20:55:09 +01:00
Raúl Kripalani
e5c56da321
move conformance tvx tool to lotus.
2020-09-27 20:10:05 +01:00
Steven Allen
8b35f480c4
initial vm conversion
...
We're probably going to want to change some of these design decisions down the
road, but this is a good starting point.
* We may want to use a more general test for "is actor valid at epoch". Maybe
just a function?
* I'd like to push some of the actor metadata down into the actor types
themselves. Ideally, we'd be able to register actors with a simple
`Register(validation, manyActors...)` call.
2020-09-25 12:49:39 -07:00
Raúl Kripalani
87b48c94a6
conformance: supply network version to driver.
2020-09-24 17:58:34 +01:00
Łukasz Magiera
f7934b083c
Merge remote-tracking branch 'origin/master' into refactor/net-upgrade
2020-09-21 19:10:18 +02:00
Alan Shaw
d9951cdff4
fix: regen
2020-09-21 10:10:31 +01:00
Alan Shaw
c1a9cf7edd
refactor: renames
2020-09-21 10:09:05 +01:00
Alan Shaw
dfaad08a8b
fix: update cbor gen file
2020-09-21 10:09:05 +01:00
Alan Shaw
d607ca6118
refactor: remove IsReceiver branch
2020-09-21 10:09:05 +01:00
Alan Shaw
49a94b7cba
chore: appease linter
2020-09-21 10:09:05 +01:00
Alan Shaw
ab53abf04e
feat: add CallerValidationBranchIsReceiver and tests
2020-09-21 10:09:05 +01:00
Alan Shaw
cfa041ca8a
refactor: chaos caller validation
2020-09-21 10:09:01 +01:00
Łukasz Magiera
70faa36b7f
Merge remote-tracking branch 'origin/master' into refactor/net-upgrade
2020-09-18 19:29:06 +02:00
Łukasz Magiera
6eda53565f
Most tests passing
2020-09-17 17:30:24 +02:00
Frank
bf2e3baa8f
fix conformance gen
2020-09-17 11:49:23 +08:00
Alan Shaw
ed4caac9bf
fix: remove network version and total fil
2020-09-15 22:24:09 +01:00
Alan Shaw
ae326ce65d
feat: add inspect runtime method to chaos actor
2020-09-15 15:43:37 +01:00
Steven Allen
32eeb96ce7
Update to specs-actors 0.9.9
...
This patch changes the runtime interfaces, to make it possible to abstract over them.
2020-09-14 12:47:39 -07:00
Alan Shaw
16f7d5801b
fix: chaos tests
2020-09-11 15:25:59 +01:00
Raúl Kripalani
cd9858420f
Merge pull request #3736 from filecoin-project/test/chaos-tests
2020-09-11 12:18:27 +01:00
Aayush Rajasekaran
230ef2484d
fix tests
2020-09-10 17:41:55 -04:00
Aayush Rajasekaran
316ac61875
Update to go state types 3ca0d2890090
2020-09-10 17:41:55 -04:00
Alan Shaw
c94ff3430c
refactor: use nil value
2020-09-10 14:51:30 +01:00
Alan Shaw
a214069586
chore: appease linter
2020-09-10 14:30:52 +01:00
Alan Shaw
d4b185be5e
test: add chaos actor tests
2020-09-10 14:23:39 +01:00
Alan Shaw
0e7f14159a
refactor: another rename
2020-09-10 12:06:00 +01:00
Alan Shaw
b755ce9528
refactor: renames
2020-09-10 12:03:13 +01:00
Alan Shaw
f3cae55bd4
feat: chaos abort
2020-09-10 11:31:34 +01:00
Raúl Kripalani
6d2b4ab775
fix lint.
2020-09-09 14:28:56 +01:00
Raúl Kripalani
2a3743ff84
invoke the statediff command properly.
2020-09-09 14:08:54 +01:00
Raúl Kripalani
a5afd83c7b
Merge branch 'master' into fix/test-vectors-import-cycle
2020-09-09 13:04:41 +01:00
Raúl Kripalani
e8d1bab914
make the runner call statediff as a binary.
2020-09-09 13:03:43 +01:00
