The test_exppp_supertype_andor test was failing on OSX and Windows due to CMake 2.8 usage while all other exppp tests require 3.12+. CMake 2.8 (2009-2011) has platform-specific behavior in string operations that can cause string(FIND ...) to behave inconsistently.

Changes

• Updated cmake_minimum_required(VERSION 2.8) to VERSION 3.12 in exppp_supertype_andor.cmake

Context

The test verifies that the EXPRESS pretty printer outputs three closing parentheses when formatting ANDOR expressions within SUPERTYPE ONEOF clauses:

ABSTRACT SUPERTYPE OF (ONEOF (
  VERTEX,
  (LOOP ANDOR PATH)  -- Requires parens: ( ) ) )
))

The test searches for "path ) ) )" in the output. CMake version inconsistency was the only environmental difference between this test and passing tests.

💬 We'd love your input! Share your thoughts on Copilot coding agent in our 2 minute survey.