aqua/aqua-src/antithesis.aqua

41 lines
763 B
Plaintext
Raw Normal View History

aqua M
export bugLng317
service MyOp("op"):
identity(s: string) -> string
ability WorkerJob:
runOnSingleWorker(w: string) -> []string
func runJob(j: -> []string) -> []string:
<- j()
func disjoint_run{WorkerJob}() -> -> []string:
run = func () -> []string:
r <- WorkerJob.runOnSingleWorker("a")
<- r
<- run
func empty() -> string:
a = "empty"
<- a
func bugLng317() -> []string:
res: *string
outer = () -> string:
<- empty()
clos = () -> -> []string:
job2 = () -> []string:
res <- outer()
res <- MyOp.identity("identity")
<- res
<- job2
worker_job = WorkerJob(runOnSingleWorker = clos())
subnet_job <- disjoint_run{worker_job}()
finalRes <- runJob(subnet_job)
<- finalRes