gsdlab/clafer — Issue #12: Clafer compiler generates output file with incorrect name
Author: lpassos
Created: 2012-01-11 22:22:54+00:00
State: open

Version: v0.1.11-1-2012
Severity: Low

Description: the output filename is being generated with an incorrect filename.

How to reproduce: create a simple model and name it test.clafer.

Expected result: an output file named test.als

Result: a file named tes.als is produced