aqua/aqua-src/antithesis.aqua

aqua M

export bugLng314

ability WorkerJob:
  runOnSingleWorker(w: string) -> string

func disjoint_run{WorkerJob}() -> -> string:
  run = func () -> string:
      r <- WorkerJob.runOnSingleWorker()
      <- r
  <- run

func runJob(j: -> string) -> string:
  <- j()

func bugLng314() -> string:
   job2 = () -> string:
     <- "strstrstr"
   worker_job = WorkerJob(runOnSingleWorker = job2)
   subnet_job <- disjoint_run{worker_job}()
   res <- runJob(subnet_job)
   <- res