pgo/go.work at main · DistCompiler/pgo · GitHub

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
)