Commit Graph

118 Commits

Author SHA1 Message Date
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
Raúl Kripalani
63cdbef219 temp fix test-vectors import cycle. 2020-09-08 21:50:25 +01:00
whyrusleeping
8a8f0ab3ec pass tipset through upgrade logic 2020-09-08 13:45:44 -07:00
Aayush Rajasekaran
d678fe4bfa Fix tests 2020-09-07 15:48:42 -04:00
Aayush Rajasekaran
39755a294a Update to specs v0.9.6 2020-09-07 15:48:41 -04:00
Alan Shaw
ada5e6ae68 refactor: remove puppet actor from conformance tests
The puppet actor has been subsumed into the chaos actor and test-vector tests no longer use it.
2020-09-03 23:19:53 +01:00
Raúl Kripalani
8e7a8d8c97 conformance: tipset-class driver: allow actor msgs, dummy-sign secp msgs. 2020-09-03 22:54:19 +01:00
Raúl Kripalani
0962292f92 conformance: add driver for tipset-class vectors. 2020-09-02 14:09:12 +01:00
Łukasz Magiera
fa6bae988e
Revert "conformance: add driver for tipset-class vectors." 2020-09-02 14:49:55 +02:00
Raúl Kripalani
ec5903ca19 fix lint error. 2020-09-02 12:28:55 +01:00
Raúl Kripalani
ad5793e446 update test-vectors commit. 2020-09-01 20:01:41 +01:00
Raúl Kripalani
3321f36b51 update test-vectors commit. 2020-09-01 16:35:26 +01:00
Raúl Kripalani
64bdd620ac conformance: add driver for tipset-class vectors. 2020-09-01 15:35:19 +01:00
austinabell
679a8e0c24
Add in return value check in test-vector runner 2020-08-27 11:42:01 -04:00
Raúl Kripalani
75e0387be2 fix ffiwrapper import. 2020-08-26 21:49:55 +01:00
Raúl Kripalani
4709e231b8 drop aurora as dep; upgrade test-vectors. 2020-08-26 18:35:41 +01:00
Raúl Kripalani
dabe14889d
actually apply all messages. 2020-08-26 16:48:47 +01:00
Raúl Kripalani
cba5ae81ed call out to filecoin-project/statediff upon state mismatches. 2020-08-26 15:09:33 +01:00
Alan Shaw
a89faa72ea
feat(conformance): skip incorrect tests (#3310)
Fixes https://github.com/filecoin-project/test-vectors/issues/72
2020-08-26 11:45:34 +01:00
Raúl Kripalani
6ed1c9e905 register the puppet actor conditionally. 2020-08-21 11:51:50 +01:00
Raúl Kripalani
04e4bab313 register chaos actor only if selector says to do so. 2020-08-19 18:10:56 +01:00
Raúl Kripalani
dddf7951ef update test-vectors commit. 2020-08-19 17:33:30 +01:00
Raúl Kripalani
a21234cd54 deploy the chaos actor. 2020-08-19 14:31:34 +01:00
Raúl Kripalani
f1c452754f separate conformance suite on CI. 2020-08-16 22:50:00 +01:00
Raúl Kripalani
b9d67296ef small adjustments to runner. 2020-08-16 22:15:12 +01:00
Raúl Kripalani
a0c0d9c98a small fixes. 2020-08-16 00:37:16 +01:00
Raúl Kripalani
322b33197c introduce interoperable vector-based conformance testing.
This commit introduces a new package `conformance` containing:

 1. the test driver to exercise Lotus against interoperable
    test vectors, and
 2. the test runner, which integrates go test with the test vector
    corpus hosted at https://github.com/filecoin-project/conformance-vectors.

The corpus is mounted via a git submodule.

Right now, only message-class test vectors are supported. In the
next week, this support will be extended to tipset-class, chain-class,
and block sequence-class vectors.
2020-08-16 00:15:52 +01:00