This repository has been archived by the owner on Aug 27, 2024. It is now read-only.
Simulator property tests #109
Annotations
1 error and 10 warnings
|
src/CRN.Visualization/Tikz.fs#L46
Failed to inline the value 'createHLine' marked 'inline', perhaps because a recursive value was marked 'inline'
|
src/CRN.Visualization/Tikz.fs#L47
Failed to inline the value 'drawTreeH'' marked 'inline', perhaps because a recursive value was marked 'inline'
|
src/CRN.Visualization/Tikz.fs#L58
Failed to inline the value 'createHLine' marked 'inline', perhaps because a recursive value was marked 'inline'
|
src/CRN.Visualization/Tikz.fs#L59
Failed to inline the value 'drawTreeH'' marked 'inline', perhaps because a recursive value was marked 'inline'
|
src/CRN.Visualization/Tikz.fs#L39
The member or function 'drawTree'' has the 'TailCallAttribute' attribute, but is not being used in a tail recursive way.
|
src/CRN.Visualization/Tikz.fs#L46
Failed to inline the value 'createHLine' marked 'inline', perhaps because a recursive value was marked 'inline'
|
src/CRN.Visualization/Tikz.fs#L47
Failed to inline the value 'drawTreeH'' marked 'inline', perhaps because a recursive value was marked 'inline'
|
src/CRN.Visualization/Tikz.fs#L58
Failed to inline the value 'createHLine' marked 'inline', perhaps because a recursive value was marked 'inline'
|
src/CRN.Visualization/Tikz.fs#L59
Failed to inline the value 'drawTreeH'' marked 'inline', perhaps because a recursive value was marked 'inline'
|
src/CRN.Visualization/Tikz.fs#L39
The member or function 'drawTree'' has the 'TailCallAttribute' attribute, but is not being used in a tail recursive way.
|
This job failed
Loading