0002450: formatting problem in acsl-implementation-18.0-Argon.pdf - Frama-C Bug Tracking System

Frama-C Bug Tracking System

View Issue Details [ Jump to Notes ]

[ Issue History ] [ Print ]

ID

Project

Category

View Status

Date Submitted

Last Update

0002450

Frama-C

Documentation > manuals

public

2019-06-09 20:33

2020-02-17 18:08

Reporter

kiniry

Assigned To

patrick

Priority

normal

Severity

minor

Reproducibility

have not tried

Status

closed

Resolution

fixed

Platform

OS

OS Version

Product Version

Frama-C 18-Argon

Target Version

Fixed in Version

Frama-C 20-Calcium

Summary

0002450: formatting problem in acsl-implementation-18.0-Argon.pdf

Description

See page 45 of the manual. There is a formatting error pushing at least a paragraph about statement contracts off the lower right hand corner of the page.

Tags

No tags attached.

Relationships

Notes
(0006820) patrick (developer) 2019-07-17 10:46	Yes, that has been fixed in next version of the document acsl-implementation-19.0-Potassium.pdf.

(0006821) patrick (developer) 2019-07-17 10:51	Note: next issues about ACSL should not be reported on this mantis bug tracker, but at https://github.com/acsl-language/acsl

(0006937) signoles (manager) 2020-02-17 18:08	Fixed in Frama-C 20.0 (Calcium).

Issue History
Date Modified	Username	Field	Change
2019-06-09 20:33	kiniry	New Issue
2019-07-16 12:11	signoles	Assigned To	=> patrick
2019-07-16 12:11	signoles	Status	new => assigned
2019-07-17 10:46	patrick	Note Added: 0006820
2019-07-17 10:51	patrick	Note Added: 0006821
2019-07-17 10:51	patrick	Status	assigned => resolved
2019-07-17 10:51	patrick	Fixed in Version	=> Frama-C 19-Potassium
2019-07-17 10:51	patrick	Resolution	open => fixed
2020-02-17 18:06	signoles	Fixed in Version	Frama-C 19-Potassium => Frama-C 20-Calcium
2020-02-17 18:08	signoles	Status	resolved => closed
2020-02-17 18:08	signoles	Note Added: 0006937

Copyright © 2000 - 2020 MantisBT Team