[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

TLA+ Prover Error

From: reza parvizi <parvizi....@xxxxxxxxx>
Date: Wed, 19 Jul 2017 01:57:36 -0700 (PDT)

'Prover Launch' has encountered a problem.

The following error occurred while running the PM :
Cannot run program "tlapm" (in directory " C:\Users\Pahmadr\Documents"): CreateProcess error=2, The system cannot find the file specified

Prev by Date: Re: [tlaplus] Parse Error
Next by Date: Re: [tlaplus] TLA+ Prover Error
Previous by thread: Re: [tlaplus] Parse Error
Next by thread: Re: [tlaplus] TLA+ Prover Error
Index(es):
- Date
- Thread