search

formalsoftware / CSPDT

An IDE for CSP (Communicating Sequential Processes) based on eclipse IDE.
GNU General Public License v3.0
1 stars 0 forks source link

Problema com assert #21

Open DanielVP15 opened 2 years ago

DanielVP15 commented 2 years ago

Assert1

é possível corrigir colocando um espaço entre [F] e ]