diff options
| author | Mohammadreza Khellat <mkhellat@gmail.com> | 2020-12-01 18:00:26 +0330 |
|---|---|---|
| committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2020-12-02 01:44:56 +0000 |
| commit | 0d81a56bac1f866680acd979229cdd0f4b56618e (patch) | |
| tree | d484cdddc9361ff2c04d5cf142a35502713765aa /reproduce/analysis/config/delete-me-squared-num.conf | |
| parent | dc3f7229cdecede42fc4b6f806a89921ef5d13f2 (diff) | |
Modified POSIX related discussions
Before this commit, there were discussions in different sections related to
POSIX compliance and features. Since the relevant Cmpleteness criterion has
been changed to execution within a Unix-like OS, such dicussions had to be
modifies as well.
With this commit, the parts that were related to condition (1) of the
Completeness criterion have been modified to be relevant to new Unix-like
OS requirement. Also, few spelling problems were fixed.
Diffstat (limited to 'reproduce/analysis/config/delete-me-squared-num.conf')
0 files changed, 0 insertions, 0 deletions