Re: [isabelle] Problems with code-datatype



Hi Andreas,

> However, this does not solve your problem with duplicate testing. In a follow-up thread, Joachim describes a solution to avoid duplicate tests:
> 
> http://stackoverflow.com/questions/16273812/working-with-isabelles-code-generator-data-refinement-and-higher-order-functio

thanks for this reference. Joachim's solution can perfectly be adapted to our application, and indeed now we also require only one test.

Cheers,
René



This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.