Opened 11 years ago

Closed 11 years ago

Last modified 10 years ago

#282 closed defect (fixed)

Bad version for z3

Reported by: Mario Domenech Goulart Owned by: felix winkelmann
Priority: major Milestone:
Component: extensions Version: 4.5.x
Keywords: z3 Cc:
Estimated difficulty:

Description (last modified by felix winkelmann)

The setup file for z3 1.40 declares its version as

(version 1.4)

I suspect that's what's causing the error for mw-core: http://tests.call-cc.org/2010/07/13/salmonella-report/mw-core.html

Shouldn't the version be "1.40"?

Change History (2)

comment:1 in reply to:  description Changed 11 years ago by felix winkelmann

Description: modified (diff)
Resolution: fixed
Status: newclosed

Replying to mario:

The setup file for z3 1.40 declares its version as

(version 1.4)

I suspect that's what's causing the error for mw-core: http://tests.call-cc.org/2010/07/13/salmonella-report/mw-core.html

Shouldn't the version be "1.40"?

Indeed. Thanks for mentioning this.

comment:2 Changed 10 years ago by felix winkelmann

Milestone: 4.6.0

Milestone 4.6.0 deleted

Note: See TracTickets for help on using tickets.