-
Notifications
You must be signed in to change notification settings - Fork 20
Expand file tree
/
Copy pathgo.work
More file actions
31 lines (28 loc) · 782 Bytes
/
go.work
File metadata and controls
31 lines (28 loc) · 782 Bytes
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
go 1.24.0
use ./distsys
use (
./systems/dqueue
./systems/gcounter
./systems/loadbalancer
./systems/locksvc
./systems/nestedcrdtimpl
./systems/pbkvs
./systems/proxy
./systems/raftkvs
./systems/raftres
./systems/replicatedkv
./systems/shcounter
./systems/shopcart
)
use (
./pgo/test/files/general/ExprTests.tla.gotests
./pgo/test/files/general/IndexingLocals.tla.gotests
./pgo/test/files/general/NonDetExploration.tla.gotests
./pgo/test/files/general/PBFail4_bug125.tla.gotests
./pgo/test/files/general/ProcedureSpaghetti.tla.gotests
./pgo/test/files/general/bug2_124.tla.gotests
./pgo/test/files/general/bug_119.tla.gotests
./pgo/test/files/general/hello.tla.gotests
./pgo/test/files/gogen/EmptyBlock.tla.gotests
./pgo/test/files/gogen/bug_167.tla.gotests
)