DS3231 - compatibility matrix

This report was generated on Wednesday, 23-Feb-22 22:48:15 CET using arduino-testlib.

DS3231

Version: 1.1.0
More details

Compatibility matrix

Board Claims compatibility Inclusion
DS3231_oscillator_test
DS3231_set
DS3231_test
echo_time
now
set_echo
arduino:avr:uno
1.8.4
Yes PASS PASS FAIL FAIL FAIL PASS FAIL
arduino:mbed_nano:nanorp2040connect
2.7.2
Yes PASS PASS FAIL FAIL FAIL PASS FAIL
arduino:megaavr:nona4809
1.8.7
Yes PASS PASS FAIL FAIL FAIL PASS FAIL
arduino:samd:mkrwifi1010
1.8.12
Yes PASS PASS FAIL FAIL FAIL PASS FAIL
esp32:esp32:d1_mini32
1.0.6
Yes PASS PASS FAIL FAIL FAIL PASS FAIL

Compilation logs

arduino:avr:uno @ 1.8.4

Inclusion

Result: PASS

Sketch uses 1636 bytes (5%) of program storage space. Maximum is 32256 bytes.
Global variables use 122 bytes (5%) of dynamic memory, leaving 1926 bytes for local variables. Maximum is 2048 bytes.

examples/DS3231_oscillator_test

Result: PASS

Sketch uses 4272 bytes (13%) of program storage space. Maximum is 32256 bytes.
Global variables use 404 bytes (19%) of dynamic memory, leaving 1644 bytes for local variables. Maximum is 2048 bytes.

examples/DS3231_set

Result: FAIL

/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/DS3231_set/DS3231_set.pde:13:8: error: 'DS3231 clock' redeclared as different kind of symbol
 DS3231 clock;
        ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/DS3231.h:22:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/DS3231_set/DS3231_set.pde:10:
/home/ec2-user/arduino-testlib/cli-datadir/data/packages/arduino/tools/avr-gcc/7.3.0-atmel3.6.1-arduino7/avr/include/time.h:164:20: note: previous declaration 'clock_t clock()'
     extern clock_t clock(void);
                    ^~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/DS3231_set/DS3231_set.pde: In function 'void loop()':
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/DS3231_set/DS3231_set.pde:88:15: error: request for member 'setClockMode' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
         clock.setClockMode(false);  // set to 24h
               ^~~~~~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/DS3231_set/DS3231_set.pde:91:15: error: request for member 'setYear' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
         clock.setYear(year);
               ^~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/DS3231_set/DS3231_set.pde:92:15: error: request for member 'setMonth' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
         clock.setMonth(month);
               ^~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/DS3231_set/DS3231_set.pde:93:15: error: request for member 'setDate' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
         clock.setDate(date);
               ^~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/DS3231_set/DS3231_set.pde:94:15: error: request for member 'setDoW' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
         clock.setDoW(dOW);
               ^~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/DS3231_set/DS3231_set.pde:95:15: error: request for member 'setHour' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
         clock.setHour(hour);
               ^~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/DS3231_set/DS3231_set.pde:96:15: error: request for member 'setMinute' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
         clock.setMinute(minute);
               ^~~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/DS3231_set/DS3231_set.pde:97:15: error: request for member 'setSecond' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
         clock.setSecond(second);
               ^~~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/DS3231_set/DS3231_set.pde:102:15: error: request for member 'setA1Time' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
         clock.setA1Time(dOW, hour, minute+1, second, 0x0, true,
               ^~~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/DS3231_set/DS3231_set.pde:105:15: error: request for member 'setA2Time' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
         clock.setA2Time(date, hour, minute+2, 0x0, false, false,
               ^~~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/DS3231_set/DS3231_set.pde:108:15: error: request for member 'turnOnAlarm' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
         clock.turnOnAlarm(1);
               ^~~~~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/DS3231_set/DS3231_set.pde:109:15: error: request for member 'turnOnAlarm' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
         clock.turnOnAlarm(2);
               ^~~~~~~~~~~

examples/DS3231_test

Result: FAIL

/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/DS3231_test/DS3231_test.pde:16:8: error: 'DS3231 clock' redeclared as different kind of symbol
 DS3231 clock;
        ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/DS3231.h:22:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/DS3231_test/DS3231_test.pde:13:
/home/ec2-user/arduino-testlib/cli-datadir/data/packages/arduino/tools/avr-gcc/7.3.0-atmel3.6.1-arduino7/avr/include/time.h:164:20: note: previous declaration 'clock_t clock()'
     extern clock_t clock(void);
                    ^~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/DS3231_test/DS3231_test.pde: In function 'void loop()':
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/DS3231_test/DS3231_test.pde:41:21: error: request for member 'getYear' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
  Serial.print(clock.getYear(), DEC);
                     ^~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/DS3231_test/DS3231_test.pde:45:21: error: request for member 'getMonth' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
  Serial.print(clock.getMonth(century), DEC);
                     ^~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/DS3231_test/DS3231_test.pde:49:21: error: request for member 'getDate' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
  Serial.print(clock.getDate(), DEC);
                     ^~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/DS3231_test/DS3231_test.pde:53:21: error: request for member 'getDoW' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
  Serial.print(clock.getDoW(), DEC);
                     ^~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/DS3231_test/DS3231_test.pde:57:21: error: request for member 'getHour' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
  Serial.print(clock.getHour(h12Flag, pmFlag), DEC);
                     ^~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/DS3231_test/DS3231_test.pde:59:21: error: request for member 'getMinute' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
  Serial.print(clock.getMinute(), DEC);
                     ^~~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/DS3231_test/DS3231_test.pde:61:21: error: request for member 'getSecond' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
  Serial.print(clock.getSecond(), DEC);
                     ^~~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/DS3231_test/DS3231_test.pde:76:21: error: request for member 'getTemperature' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
  Serial.print(clock.getTemperature(), 2);
                     ^~~~~~~~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/DS3231_test/DS3231_test.pde:79:12: error: request for member 'oscillatorCheck' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
  if (clock.oscillatorCheck()) {
            ^~~~~~~~~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/DS3231_test/DS3231_test.pde:86:12: error: request for member 'checkIfAlarm' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
  if (clock.checkIfAlarm(1)) {
            ^~~~~~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/DS3231_test/DS3231_test.pde:90:12: error: request for member 'checkIfAlarm' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
  if (clock.checkIfAlarm(2)) {
            ^~~~~~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/DS3231_test/DS3231_test.pde:99:8: error: request for member 'getA1Time' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
  clock.getA1Time(alarmDay, alarmHour, alarmMinute, alarmSecond, alarmBits, alarmDy, alarmH12Flag, alarmPmFlag);
        ^~~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/DS3231_test/DS3231_test.pde:120:12: error: request for member 'checkAlarmEnabled' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
  if (clock.checkAlarmEnabled(1)) {
            ^~~~~~~~~~~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/DS3231_test/DS3231_test.pde:127:8: error: request for member 'getA2Time' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
  clock.getA2Time(alarmDay, alarmHour, alarmMinute, alarmBits, alarmDy, alarmH12Flag, alarmPmFlag);
        ^~~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/DS3231_test/DS3231_test.pde:146:12: error: request for member 'checkAlarmEnabled' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
  if (clock.checkAlarmEnabled(2)) {
            ^~~~~~~~~~~~~~~~~

examples/echo_time

Result: FAIL

/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/echo_time/echo_time.pde:19:8: error: 'DS3231 clock' redeclared as different kind of symbol
 DS3231 clock;
        ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/DS3231.h:22:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/echo_time/echo_time.pde:16:
/home/ec2-user/arduino-testlib/cli-datadir/data/packages/arduino/tools/avr-gcc/7.3.0-atmel3.6.1-arduino7/avr/include/time.h:164:20: note: previous declaration 'clock_t clock()'
     extern clock_t clock(void);
                    ^~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/echo_time/echo_time.pde: In function 'void setup()':
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/echo_time/echo_time.pde:35:26: error: request for member 'getYear' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
       Serial.print(clock.getYear(), DEC);
                          ^~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/echo_time/echo_time.pde:37:26: error: request for member 'getMonth' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
       Serial.print(clock.getMonth(century), DEC);
                          ^~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/echo_time/echo_time.pde:39:26: error: request for member 'getDate' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
       Serial.print(clock.getDate(), DEC);
                          ^~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/echo_time/echo_time.pde:41:26: error: request for member 'getHour' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
       Serial.print(clock.getHour(h12Flag, pmFlag), DEC); //24-hr
                          ^~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/echo_time/echo_time.pde:43:26: error: request for member 'getMinute' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
       Serial.print(clock.getMinute(), DEC);
                          ^~~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/echo_time/echo_time.pde:45:28: error: request for member 'getSecond' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
       Serial.println(clock.getSecond(), DEC);
                            ^~~~~~~~~

examples/now

Result: PASS

Sketch uses 4994 bytes (15%) of program storage space. Maximum is 32256 bytes.
Global variables use 450 bytes (21%) of dynamic memory, leaving 1598 bytes for local variables. Maximum is 2048 bytes.

examples/set_echo

Result: FAIL

/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/set_echo/set_echo.pde:24:8: error: 'DS3231 clock' redeclared as different kind of symbol
 DS3231 clock;
        ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/DS3231.h:22:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/set_echo/set_echo.pde:21:
/home/ec2-user/arduino-testlib/cli-datadir/data/packages/arduino/tools/avr-gcc/7.3.0-atmel3.6.1-arduino7/avr/include/time.h:164:20: note: previous declaration 'clock_t clock()'
     extern clock_t clock(void);
                    ^~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/set_echo/set_echo.pde: In function 'void loop()':
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/set_echo/set_echo.pde:77:11: error: request for member 'setClockMode' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
     clock.setClockMode(false);  // set to 24h
           ^~~~~~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/set_echo/set_echo.pde:79:11: error: request for member 'setYear' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
     clock.setYear(year);
           ^~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/set_echo/set_echo.pde:80:11: error: request for member 'setMonth' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
     clock.setMonth(month);
           ^~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/set_echo/set_echo.pde:81:11: error: request for member 'setDate' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
     clock.setDate(date);
           ^~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/set_echo/set_echo.pde:82:11: error: request for member 'setDoW' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
     clock.setDoW(dow);
           ^~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/set_echo/set_echo.pde:83:11: error: request for member 'setHour' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
     clock.setHour(hour);
           ^~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/set_echo/set_echo.pde:84:11: error: request for member 'setMinute' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
     clock.setMinute(minute);
           ^~~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/set_echo/set_echo.pde:85:11: error: request for member 'setSecond' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
     clock.setSecond(second);
           ^~~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/set_echo/set_echo.pde:90:28: error: request for member 'getYear' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
         Serial.print(clock.getYear(), DEC);
                            ^~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/set_echo/set_echo.pde:92:28: error: request for member 'getMonth' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
         Serial.print(clock.getMonth(century), DEC);
                            ^~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/set_echo/set_echo.pde:94:28: error: request for member 'getDate' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
         Serial.print(clock.getDate(), DEC);
                            ^~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/set_echo/set_echo.pde:96:28: error: request for member 'getHour' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
         Serial.print(clock.getHour(h12Flag, pmFlag), DEC); //24-hr
                            ^~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/set_echo/set_echo.pde:98:28: error: request for member 'getMinute' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
         Serial.print(clock.getMinute(), DEC);
                            ^~~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/set_echo/set_echo.pde:100:30: error: request for member 'getSecond' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
         Serial.println(clock.getSecond(), DEC);
                              ^~~~~~~~~

arduino:mbed_nano:nanorp2040connect @ 2.7.2

Inclusion

Result: PASS

Sketch uses 81706 bytes (0%) of program storage space. Maximum is 16777216 bytes.
Global variables use 44220 bytes (16%) of dynamic memory, leaving 226116 bytes for local variables. Maximum is 270336 bytes.

examples/DS3231_oscillator_test

Result: PASS

Sketch uses 82068 bytes (0%) of program storage space. Maximum is 16777216 bytes.
Global variables use 44228 bytes (16%) of dynamic memory, leaving 226108 bytes for local variables. Maximum is 270336 bytes.

examples/DS3231_set

Result: FAIL

/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/DS3231_set/DS3231_set.pde:13:8: error: 'DS3231 clock' redeclared as different kind of symbol
 DS3231 clock;
        ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/data/packages/arduino/tools/arm-none-eabi-gcc/7-2017q4/arm-none-eabi/include/stdlib.h:11:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/data/packages/arduino/tools/arm-none-eabi-gcc/7-2017q4/arm-none-eabi/include/c++/7.2.1/cstdlib:75,
                 from /home/ec2-user/arduino-testlib/cli-datadir/data/packages/arduino/tools/arm-none-eabi-gcc/7-2017q4/arm-none-eabi/include/c++/7.2.1/stdlib.h:36,
                 from /home/ec2-user/arduino-testlib/cli-datadir/data/packages/arduino/hardware/mbed_nano/2.7.2/cores/arduino/api/Interrupts.h:5,
                 from /home/ec2-user/arduino-testlib/cli-datadir/data/packages/arduino/hardware/mbed_nano/2.7.2/cores/arduino/api/ArduinoAPI.h:29,
                 from /home/ec2-user/arduino-testlib/cli-datadir/data/packages/arduino/hardware/mbed_nano/2.7.2/cores/arduino/Arduino.h:27,
                 from /tmp/arduino-sketch-605611F1623E816C562CFFF2500830F5/sketch/DS3231_set.pde.cpp:1:
/home/ec2-user/arduino-testlib/cli-datadir/data/packages/arduino/tools/arm-none-eabi-gcc/7-2017q4/arm-none-eabi/include/time.h:56:12: note: previous declaration 'clock_t clock()'
 clock_t    _EXFUN(clock,    (void));
            ^
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/DS3231_set/DS3231_set.pde: In function 'void loop()':
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/DS3231_set/DS3231_set.pde:88:15: error: request for member 'setClockMode' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
         clock.setClockMode(false);  // set to 24h
               ^~~~~~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/DS3231_set/DS3231_set.pde:91:15: error: request for member 'setYear' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
         clock.setYear(year);
               ^~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/DS3231_set/DS3231_set.pde:92:15: error: request for member 'setMonth' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
         clock.setMonth(month);
               ^~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/DS3231_set/DS3231_set.pde:93:15: error: request for member 'setDate' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
         clock.setDate(date);
               ^~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/DS3231_set/DS3231_set.pde:94:15: error: request for member 'setDoW' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
         clock.setDoW(dOW);
               ^~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/DS3231_set/DS3231_set.pde:95:15: error: request for member 'setHour' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
         clock.setHour(hour);
               ^~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/DS3231_set/DS3231_set.pde:96:15: error: request for member 'setMinute' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
         clock.setMinute(minute);
               ^~~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/DS3231_set/DS3231_set.pde:97:15: error: request for member 'setSecond' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
         clock.setSecond(second);
               ^~~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/DS3231_set/DS3231_set.pde:102:15: error: request for member 'setA1Time' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
         clock.setA1Time(dOW, hour, minute+1, second, 0x0, true,
               ^~~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/DS3231_set/DS3231_set.pde:105:15: error: request for member 'setA2Time' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
         clock.setA2Time(date, hour, minute+2, 0x0, false, false,
               ^~~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/DS3231_set/DS3231_set.pde:108:15: error: request for member 'turnOnAlarm' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
         clock.turnOnAlarm(1);
               ^~~~~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/DS3231_set/DS3231_set.pde:109:15: error: request for member 'turnOnAlarm' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
         clock.turnOnAlarm(2);
               ^~~~~~~~~~~

examples/DS3231_test

Result: FAIL

/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/DS3231_test/DS3231_test.pde:16:8: error: 'DS3231 clock' redeclared as different kind of symbol
 DS3231 clock;
        ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/data/packages/arduino/tools/arm-none-eabi-gcc/7-2017q4/arm-none-eabi/include/stdlib.h:11:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/data/packages/arduino/tools/arm-none-eabi-gcc/7-2017q4/arm-none-eabi/include/c++/7.2.1/cstdlib:75,
                 from /home/ec2-user/arduino-testlib/cli-datadir/data/packages/arduino/tools/arm-none-eabi-gcc/7-2017q4/arm-none-eabi/include/c++/7.2.1/stdlib.h:36,
                 from /home/ec2-user/arduino-testlib/cli-datadir/data/packages/arduino/hardware/mbed_nano/2.7.2/cores/arduino/api/Interrupts.h:5,
                 from /home/ec2-user/arduino-testlib/cli-datadir/data/packages/arduino/hardware/mbed_nano/2.7.2/cores/arduino/api/ArduinoAPI.h:29,
                 from /home/ec2-user/arduino-testlib/cli-datadir/data/packages/arduino/hardware/mbed_nano/2.7.2/cores/arduino/Arduino.h:27,
                 from /tmp/arduino-sketch-F23AEC79C9D62FC23928D414960821DB/sketch/DS3231_test.pde.cpp:1:
/home/ec2-user/arduino-testlib/cli-datadir/data/packages/arduino/tools/arm-none-eabi-gcc/7-2017q4/arm-none-eabi/include/time.h:56:12: note: previous declaration 'clock_t clock()'
 clock_t    _EXFUN(clock,    (void));
            ^
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/DS3231_test/DS3231_test.pde: In function 'void loop()':
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/DS3231_test/DS3231_test.pde:41:21: error: request for member 'getYear' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
  Serial.print(clock.getYear(), DEC);
                     ^~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/DS3231_test/DS3231_test.pde:45:21: error: request for member 'getMonth' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
  Serial.print(clock.getMonth(century), DEC);
                     ^~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/DS3231_test/DS3231_test.pde:49:21: error: request for member 'getDate' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
  Serial.print(clock.getDate(), DEC);
                     ^~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/DS3231_test/DS3231_test.pde:53:21: error: request for member 'getDoW' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
  Serial.print(clock.getDoW(), DEC);
                     ^~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/DS3231_test/DS3231_test.pde:57:21: error: request for member 'getHour' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
  Serial.print(clock.getHour(h12Flag, pmFlag), DEC);
                     ^~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/DS3231_test/DS3231_test.pde:59:21: error: request for member 'getMinute' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
  Serial.print(clock.getMinute(), DEC);
                     ^~~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/DS3231_test/DS3231_test.pde:61:21: error: request for member 'getSecond' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
  Serial.print(clock.getSecond(), DEC);
                     ^~~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/DS3231_test/DS3231_test.pde:76:21: error: request for member 'getTemperature' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
  Serial.print(clock.getTemperature(), 2);
                     ^~~~~~~~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/DS3231_test/DS3231_test.pde:79:12: error: request for member 'oscillatorCheck' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
  if (clock.oscillatorCheck()) {
            ^~~~~~~~~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/DS3231_test/DS3231_test.pde:86:12: error: request for member 'checkIfAlarm' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
  if (clock.checkIfAlarm(1)) {
            ^~~~~~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/DS3231_test/DS3231_test.pde:90:12: error: request for member 'checkIfAlarm' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
  if (clock.checkIfAlarm(2)) {
            ^~~~~~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/DS3231_test/DS3231_test.pde:99:8: error: request for member 'getA1Time' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
  clock.getA1Time(alarmDay, alarmHour, alarmMinute, alarmSecond, alarmBits, alarmDy, alarmH12Flag, alarmPmFlag);
        ^~~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/DS3231_test/DS3231_test.pde:120:12: error: request for member 'checkAlarmEnabled' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
  if (clock.checkAlarmEnabled(1)) {
            ^~~~~~~~~~~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/DS3231_test/DS3231_test.pde:127:8: error: request for member 'getA2Time' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
  clock.getA2Time(alarmDay, alarmHour, alarmMinute, alarmBits, alarmDy, alarmH12Flag, alarmPmFlag);
        ^~~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/DS3231_test/DS3231_test.pde:146:12: error: request for member 'checkAlarmEnabled' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
  if (clock.checkAlarmEnabled(2)) {
            ^~~~~~~~~~~~~~~~~

examples/echo_time

Result: FAIL

/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/echo_time/echo_time.pde:19:8: error: 'DS3231 clock' redeclared as different kind of symbol
 DS3231 clock;
        ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/data/packages/arduino/tools/arm-none-eabi-gcc/7-2017q4/arm-none-eabi/include/stdlib.h:11:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/data/packages/arduino/tools/arm-none-eabi-gcc/7-2017q4/arm-none-eabi/include/c++/7.2.1/cstdlib:75,
                 from /home/ec2-user/arduino-testlib/cli-datadir/data/packages/arduino/tools/arm-none-eabi-gcc/7-2017q4/arm-none-eabi/include/c++/7.2.1/stdlib.h:36,
                 from /home/ec2-user/arduino-testlib/cli-datadir/data/packages/arduino/hardware/mbed_nano/2.7.2/cores/arduino/api/Interrupts.h:5,
                 from /home/ec2-user/arduino-testlib/cli-datadir/data/packages/arduino/hardware/mbed_nano/2.7.2/cores/arduino/api/ArduinoAPI.h:29,
                 from /home/ec2-user/arduino-testlib/cli-datadir/data/packages/arduino/hardware/mbed_nano/2.7.2/cores/arduino/Arduino.h:27,
                 from /tmp/arduino-sketch-134A95520FC817220739022EC444130E/sketch/echo_time.pde.cpp:1:
/home/ec2-user/arduino-testlib/cli-datadir/data/packages/arduino/tools/arm-none-eabi-gcc/7-2017q4/arm-none-eabi/include/time.h:56:12: note: previous declaration 'clock_t clock()'
 clock_t    _EXFUN(clock,    (void));
            ^
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/echo_time/echo_time.pde: In function 'void setup()':
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/echo_time/echo_time.pde:35:26: error: request for member 'getYear' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
       Serial.print(clock.getYear(), DEC);
                          ^~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/echo_time/echo_time.pde:37:26: error: request for member 'getMonth' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
       Serial.print(clock.getMonth(century), DEC);
                          ^~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/echo_time/echo_time.pde:39:26: error: request for member 'getDate' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
       Serial.print(clock.getDate(), DEC);
                          ^~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/echo_time/echo_time.pde:41:26: error: request for member 'getHour' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
       Serial.print(clock.getHour(h12Flag, pmFlag), DEC); //24-hr
                          ^~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/echo_time/echo_time.pde:43:26: error: request for member 'getMinute' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
       Serial.print(clock.getMinute(), DEC);
                          ^~~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/echo_time/echo_time.pde:45:28: error: request for member 'getSecond' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
       Serial.println(clock.getSecond(), DEC);
                            ^~~~~~~~~

examples/now

Result: PASS

Sketch uses 82460 bytes (0%) of program storage space. Maximum is 16777216 bytes.
Global variables use 44220 bytes (16%) of dynamic memory, leaving 226116 bytes for local variables. Maximum is 270336 bytes.

examples/set_echo

Result: FAIL

/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/set_echo/set_echo.pde:24:8: error: 'DS3231 clock' redeclared as different kind of symbol
 DS3231 clock;
        ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/data/packages/arduino/tools/arm-none-eabi-gcc/7-2017q4/arm-none-eabi/include/stdlib.h:11:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/data/packages/arduino/tools/arm-none-eabi-gcc/7-2017q4/arm-none-eabi/include/c++/7.2.1/cstdlib:75,
                 from /home/ec2-user/arduino-testlib/cli-datadir/data/packages/arduino/tools/arm-none-eabi-gcc/7-2017q4/arm-none-eabi/include/c++/7.2.1/stdlib.h:36,
                 from /home/ec2-user/arduino-testlib/cli-datadir/data/packages/arduino/hardware/mbed_nano/2.7.2/cores/arduino/api/Interrupts.h:5,
                 from /home/ec2-user/arduino-testlib/cli-datadir/data/packages/arduino/hardware/mbed_nano/2.7.2/cores/arduino/api/ArduinoAPI.h:29,
                 from /home/ec2-user/arduino-testlib/cli-datadir/data/packages/arduino/hardware/mbed_nano/2.7.2/cores/arduino/Arduino.h:27,
                 from /tmp/arduino-sketch-7E6375D1089BE2E26D0FA88472E7A08F/sketch/set_echo.pde.cpp:1:
/home/ec2-user/arduino-testlib/cli-datadir/data/packages/arduino/tools/arm-none-eabi-gcc/7-2017q4/arm-none-eabi/include/time.h:56:12: note: previous declaration 'clock_t clock()'
 clock_t    _EXFUN(clock,    (void));
            ^
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/set_echo/set_echo.pde: In function 'void loop()':
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/set_echo/set_echo.pde:77:11: error: request for member 'setClockMode' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
     clock.setClockMode(false);  // set to 24h
           ^~~~~~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/set_echo/set_echo.pde:79:11: error: request for member 'setYear' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
     clock.setYear(year);
           ^~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/set_echo/set_echo.pde:80:11: error: request for member 'setMonth' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
     clock.setMonth(month);
           ^~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/set_echo/set_echo.pde:81:11: error: request for member 'setDate' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
     clock.setDate(date);
           ^~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/set_echo/set_echo.pde:82:11: error: request for member 'setDoW' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
     clock.setDoW(dow);
           ^~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/set_echo/set_echo.pde:83:11: error: request for member 'setHour' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
     clock.setHour(hour);
           ^~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/set_echo/set_echo.pde:84:11: error: request for member 'setMinute' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
     clock.setMinute(minute);
           ^~~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/set_echo/set_echo.pde:85:11: error: request for member 'setSecond' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
     clock.setSecond(second);
           ^~~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/set_echo/set_echo.pde:90:28: error: request for member 'getYear' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
         Serial.print(clock.getYear(), DEC);
                            ^~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/set_echo/set_echo.pde:92:28: error: request for member 'getMonth' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
         Serial.print(clock.getMonth(century), DEC);
                            ^~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/set_echo/set_echo.pde:94:28: error: request for member 'getDate' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
         Serial.print(clock.getDate(), DEC);
                            ^~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/set_echo/set_echo.pde:96:28: error: request for member 'getHour' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
         Serial.print(clock.getHour(h12Flag, pmFlag), DEC); //24-hr
                            ^~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/set_echo/set_echo.pde:98:28: error: request for member 'getMinute' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
         Serial.print(clock.getMinute(), DEC);
                            ^~~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/set_echo/set_echo.pde:100:30: error: request for member 'getSecond' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
         Serial.println(clock.getSecond(), DEC);
                              ^~~~~~~~~

arduino:megaavr:nona4809 @ 1.8.7

Inclusion

Result: PASS

Sketch uses 3104 bytes (6%) of program storage space. Maximum is 49152 bytes.
Global variables use 317 bytes (5%) of dynamic memory, leaving 5827 bytes for local variables. Maximum is 6144 bytes.

examples/DS3231_oscillator_test

Result: PASS

Sketch uses 5236 bytes (10%) of program storage space. Maximum is 49152 bytes.
Global variables use 488 bytes (7%) of dynamic memory, leaving 5656 bytes for local variables. Maximum is 6144 bytes.

examples/DS3231_set

Result: FAIL

/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/DS3231_set/DS3231_set.pde:13:8: error: 'DS3231 clock' redeclared as different kind of symbol
 DS3231 clock;
        ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/DS3231.h:22:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/DS3231_set/DS3231_set.pde:10:
/home/ec2-user/arduino-testlib/cli-datadir/data/packages/arduino/tools/avr-gcc/7.3.0-atmel3.6.1-arduino5/avr/include/time.h:164:20: note: previous declaration 'clock_t clock()'
     extern clock_t clock(void);
                    ^~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/DS3231_set/DS3231_set.pde: In function 'void loop()':
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/DS3231_set/DS3231_set.pde:88:15: error: request for member 'setClockMode' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
         clock.setClockMode(false);  // set to 24h
               ^~~~~~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/DS3231_set/DS3231_set.pde:91:15: error: request for member 'setYear' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
         clock.setYear(year);
               ^~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/DS3231_set/DS3231_set.pde:92:15: error: request for member 'setMonth' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
         clock.setMonth(month);
               ^~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/DS3231_set/DS3231_set.pde:93:15: error: request for member 'setDate' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
         clock.setDate(date);
               ^~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/DS3231_set/DS3231_set.pde:94:15: error: request for member 'setDoW' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
         clock.setDoW(dOW);
               ^~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/DS3231_set/DS3231_set.pde:95:15: error: request for member 'setHour' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
         clock.setHour(hour);
               ^~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/DS3231_set/DS3231_set.pde:96:15: error: request for member 'setMinute' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
         clock.setMinute(minute);
               ^~~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/DS3231_set/DS3231_set.pde:97:15: error: request for member 'setSecond' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
         clock.setSecond(second);
               ^~~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/DS3231_set/DS3231_set.pde:102:15: error: request for member 'setA1Time' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
         clock.setA1Time(dOW, hour, minute+1, second, 0x0, true,
               ^~~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/DS3231_set/DS3231_set.pde:105:15: error: request for member 'setA2Time' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
         clock.setA2Time(date, hour, minute+2, 0x0, false, false,
               ^~~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/DS3231_set/DS3231_set.pde:108:15: error: request for member 'turnOnAlarm' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
         clock.turnOnAlarm(1);
               ^~~~~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/DS3231_set/DS3231_set.pde:109:15: error: request for member 'turnOnAlarm' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
         clock.turnOnAlarm(2);
               ^~~~~~~~~~~

examples/DS3231_test

Result: FAIL

/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/DS3231_test/DS3231_test.pde:16:8: error: 'DS3231 clock' redeclared as different kind of symbol
 DS3231 clock;
        ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/DS3231.h:22:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/DS3231_test/DS3231_test.pde:13:
/home/ec2-user/arduino-testlib/cli-datadir/data/packages/arduino/tools/avr-gcc/7.3.0-atmel3.6.1-arduino5/avr/include/time.h:164:20: note: previous declaration 'clock_t clock()'
     extern clock_t clock(void);
                    ^~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/DS3231_test/DS3231_test.pde: In function 'void loop()':
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/DS3231_test/DS3231_test.pde:41:21: error: request for member 'getYear' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
  Serial.print(clock.getYear(), DEC);
                     ^~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/DS3231_test/DS3231_test.pde:45:21: error: request for member 'getMonth' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
  Serial.print(clock.getMonth(century), DEC);
                     ^~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/DS3231_test/DS3231_test.pde:49:21: error: request for member 'getDate' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
  Serial.print(clock.getDate(), DEC);
                     ^~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/DS3231_test/DS3231_test.pde:53:21: error: request for member 'getDoW' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
  Serial.print(clock.getDoW(), DEC);
                     ^~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/DS3231_test/DS3231_test.pde:57:21: error: request for member 'getHour' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
  Serial.print(clock.getHour(h12Flag, pmFlag), DEC);
                     ^~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/DS3231_test/DS3231_test.pde:59:21: error: request for member 'getMinute' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
  Serial.print(clock.getMinute(), DEC);
                     ^~~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/DS3231_test/DS3231_test.pde:61:21: error: request for member 'getSecond' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
  Serial.print(clock.getSecond(), DEC);
                     ^~~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/DS3231_test/DS3231_test.pde:76:21: error: request for member 'getTemperature' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
  Serial.print(clock.getTemperature(), 2);
                     ^~~~~~~~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/DS3231_test/DS3231_test.pde:79:12: error: request for member 'oscillatorCheck' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
  if (clock.oscillatorCheck()) {
            ^~~~~~~~~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/DS3231_test/DS3231_test.pde:86:12: error: request for member 'checkIfAlarm' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
  if (clock.checkIfAlarm(1)) {
            ^~~~~~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/DS3231_test/DS3231_test.pde:90:12: error: request for member 'checkIfAlarm' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
  if (clock.checkIfAlarm(2)) {
            ^~~~~~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/DS3231_test/DS3231_test.pde:99:8: error: request for member 'getA1Time' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
  clock.getA1Time(alarmDay, alarmHour, alarmMinute, alarmSecond, alarmBits, alarmDy, alarmH12Flag, alarmPmFlag);
        ^~~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/DS3231_test/DS3231_test.pde:120:12: error: request for member 'checkAlarmEnabled' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
  if (clock.checkAlarmEnabled(1)) {
            ^~~~~~~~~~~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/DS3231_test/DS3231_test.pde:127:8: error: request for member 'getA2Time' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
  clock.getA2Time(alarmDay, alarmHour, alarmMinute, alarmBits, alarmDy, alarmH12Flag, alarmPmFlag);
        ^~~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/DS3231_test/DS3231_test.pde:146:12: error: request for member 'checkAlarmEnabled' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
  if (clock.checkAlarmEnabled(2)) {
            ^~~~~~~~~~~~~~~~~

examples/echo_time

Result: FAIL

/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/echo_time/echo_time.pde:19:8: error: 'DS3231 clock' redeclared as different kind of symbol
 DS3231 clock;
        ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/DS3231.h:22:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/echo_time/echo_time.pde:16:
/home/ec2-user/arduino-testlib/cli-datadir/data/packages/arduino/tools/avr-gcc/7.3.0-atmel3.6.1-arduino5/avr/include/time.h:164:20: note: previous declaration 'clock_t clock()'
     extern clock_t clock(void);
                    ^~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/echo_time/echo_time.pde: In function 'void setup()':
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/echo_time/echo_time.pde:35:26: error: request for member 'getYear' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
       Serial.print(clock.getYear(), DEC);
                          ^~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/echo_time/echo_time.pde:37:26: error: request for member 'getMonth' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
       Serial.print(clock.getMonth(century), DEC);
                          ^~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/echo_time/echo_time.pde:39:26: error: request for member 'getDate' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
       Serial.print(clock.getDate(), DEC);
                          ^~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/echo_time/echo_time.pde:41:26: error: request for member 'getHour' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
       Serial.print(clock.getHour(h12Flag, pmFlag), DEC); //24-hr
                          ^~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/echo_time/echo_time.pde:43:26: error: request for member 'getMinute' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
       Serial.print(clock.getMinute(), DEC);
                          ^~~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/echo_time/echo_time.pde:45:28: error: request for member 'getSecond' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
       Serial.println(clock.getSecond(), DEC);
                            ^~~~~~~~~

examples/now

Result: PASS

Sketch uses 5916 bytes (12%) of program storage space. Maximum is 49152 bytes.
Global variables use 484 bytes (7%) of dynamic memory, leaving 5660 bytes for local variables. Maximum is 6144 bytes.

examples/set_echo

Result: FAIL

/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/set_echo/set_echo.pde:24:8: error: 'DS3231 clock' redeclared as different kind of symbol
 DS3231 clock;
        ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/DS3231.h:22:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/set_echo/set_echo.pde:21:
/home/ec2-user/arduino-testlib/cli-datadir/data/packages/arduino/tools/avr-gcc/7.3.0-atmel3.6.1-arduino5/avr/include/time.h:164:20: note: previous declaration 'clock_t clock()'
     extern clock_t clock(void);
                    ^~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/set_echo/set_echo.pde: In function 'void loop()':
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/set_echo/set_echo.pde:77:11: error: request for member 'setClockMode' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
     clock.setClockMode(false);  // set to 24h
           ^~~~~~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/set_echo/set_echo.pde:79:11: error: request for member 'setYear' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
     clock.setYear(year);
           ^~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/set_echo/set_echo.pde:80:11: error: request for member 'setMonth' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
     clock.setMonth(month);
           ^~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/set_echo/set_echo.pde:81:11: error: request for member 'setDate' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
     clock.setDate(date);
           ^~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/set_echo/set_echo.pde:82:11: error: request for member 'setDoW' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
     clock.setDoW(dow);
           ^~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/set_echo/set_echo.pde:83:11: error: request for member 'setHour' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
     clock.setHour(hour);
           ^~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/set_echo/set_echo.pde:84:11: error: request for member 'setMinute' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
     clock.setMinute(minute);
           ^~~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/set_echo/set_echo.pde:85:11: error: request for member 'setSecond' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
     clock.setSecond(second);
           ^~~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/set_echo/set_echo.pde:90:28: error: request for member 'getYear' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
         Serial.print(clock.getYear(), DEC);
                            ^~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/set_echo/set_echo.pde:92:28: error: request for member 'getMonth' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
         Serial.print(clock.getMonth(century), DEC);
                            ^~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/set_echo/set_echo.pde:94:28: error: request for member 'getDate' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
         Serial.print(clock.getDate(), DEC);
                            ^~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/set_echo/set_echo.pde:96:28: error: request for member 'getHour' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
         Serial.print(clock.getHour(h12Flag, pmFlag), DEC); //24-hr
                            ^~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/set_echo/set_echo.pde:98:28: error: request for member 'getMinute' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
         Serial.print(clock.getMinute(), DEC);
                            ^~~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/set_echo/set_echo.pde:100:30: error: request for member 'getSecond' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
         Serial.println(clock.getSecond(), DEC);
                              ^~~~~~~~~

arduino:samd:mkrwifi1010 @ 1.8.12

Inclusion

Result: PASS

Sketch uses 13684 bytes (5%) of program storage space. Maximum is 262144 bytes.
Global variables use 3568 bytes (10%) of dynamic memory, leaving 29200 bytes for local variables. Maximum is 32768 bytes.

examples/DS3231_oscillator_test

Result: PASS

Sketch uses 14048 bytes (5%) of program storage space. Maximum is 262144 bytes.
Global variables use 3576 bytes (10%) of dynamic memory, leaving 29192 bytes for local variables. Maximum is 32768 bytes.

examples/DS3231_set

Result: FAIL

/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/DS3231_set/DS3231_set.pde:13:8: error: 'DS3231 clock' redeclared as different kind of symbol
 DS3231 clock;
        ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/data/packages/arduino/tools/arm-none-eabi-gcc/7-2017q4/arm-none-eabi/include/stdlib.h:11:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/data/packages/arduino/tools/arm-none-eabi-gcc/7-2017q4/arm-none-eabi/include/c++/7.2.1/cstdlib:75,
                 from /home/ec2-user/arduino-testlib/cli-datadir/data/packages/arduino/tools/arm-none-eabi-gcc/7-2017q4/arm-none-eabi/include/c++/7.2.1/stdlib.h:36,
                 from /home/ec2-user/arduino-testlib/cli-datadir/data/packages/arduino/hardware/samd/1.8.12/cores/arduino/api/Interrupts.h:5,
                 from /home/ec2-user/arduino-testlib/cli-datadir/data/packages/arduino/hardware/samd/1.8.12/cores/arduino/api/ArduinoAPI.h:29,
                 from /home/ec2-user/arduino-testlib/cli-datadir/data/packages/arduino/hardware/samd/1.8.12/cores/arduino/Arduino.h:23,
                 from /tmp/arduino-sketch-605611F1623E816C562CFFF2500830F5/sketch/DS3231_set.pde.cpp:1:
/home/ec2-user/arduino-testlib/cli-datadir/data/packages/arduino/tools/arm-none-eabi-gcc/7-2017q4/arm-none-eabi/include/time.h:56:12: note: previous declaration 'clock_t clock()'
 clock_t    _EXFUN(clock,    (void));
            ^
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/DS3231_set/DS3231_set.pde: In function 'void loop()':
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/DS3231_set/DS3231_set.pde:88:15: error: request for member 'setClockMode' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
         clock.setClockMode(false);  // set to 24h
               ^~~~~~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/DS3231_set/DS3231_set.pde:91:15: error: request for member 'setYear' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
         clock.setYear(year);
               ^~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/DS3231_set/DS3231_set.pde:92:15: error: request for member 'setMonth' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
         clock.setMonth(month);
               ^~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/DS3231_set/DS3231_set.pde:93:15: error: request for member 'setDate' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
         clock.setDate(date);
               ^~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/DS3231_set/DS3231_set.pde:94:15: error: request for member 'setDoW' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
         clock.setDoW(dOW);
               ^~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/DS3231_set/DS3231_set.pde:95:15: error: request for member 'setHour' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
         clock.setHour(hour);
               ^~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/DS3231_set/DS3231_set.pde:96:15: error: request for member 'setMinute' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
         clock.setMinute(minute);
               ^~~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/DS3231_set/DS3231_set.pde:97:15: error: request for member 'setSecond' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
         clock.setSecond(second);
               ^~~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/DS3231_set/DS3231_set.pde:102:15: error: request for member 'setA1Time' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
         clock.setA1Time(dOW, hour, minute+1, second, 0x0, true,
               ^~~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/DS3231_set/DS3231_set.pde:105:15: error: request for member 'setA2Time' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
         clock.setA2Time(date, hour, minute+2, 0x0, false, false,
               ^~~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/DS3231_set/DS3231_set.pde:108:15: error: request for member 'turnOnAlarm' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
         clock.turnOnAlarm(1);
               ^~~~~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/DS3231_set/DS3231_set.pde:109:15: error: request for member 'turnOnAlarm' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
         clock.turnOnAlarm(2);
               ^~~~~~~~~~~

examples/DS3231_test

Result: FAIL

/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/DS3231_test/DS3231_test.pde:16:8: error: 'DS3231 clock' redeclared as different kind of symbol
 DS3231 clock;
        ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/data/packages/arduino/tools/arm-none-eabi-gcc/7-2017q4/arm-none-eabi/include/stdlib.h:11:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/data/packages/arduino/tools/arm-none-eabi-gcc/7-2017q4/arm-none-eabi/include/c++/7.2.1/cstdlib:75,
                 from /home/ec2-user/arduino-testlib/cli-datadir/data/packages/arduino/tools/arm-none-eabi-gcc/7-2017q4/arm-none-eabi/include/c++/7.2.1/stdlib.h:36,
                 from /home/ec2-user/arduino-testlib/cli-datadir/data/packages/arduino/hardware/samd/1.8.12/cores/arduino/api/Interrupts.h:5,
                 from /home/ec2-user/arduino-testlib/cli-datadir/data/packages/arduino/hardware/samd/1.8.12/cores/arduino/api/ArduinoAPI.h:29,
                 from /home/ec2-user/arduino-testlib/cli-datadir/data/packages/arduino/hardware/samd/1.8.12/cores/arduino/Arduino.h:23,
                 from /tmp/arduino-sketch-F23AEC79C9D62FC23928D414960821DB/sketch/DS3231_test.pde.cpp:1:
/home/ec2-user/arduino-testlib/cli-datadir/data/packages/arduino/tools/arm-none-eabi-gcc/7-2017q4/arm-none-eabi/include/time.h:56:12: note: previous declaration 'clock_t clock()'
 clock_t    _EXFUN(clock,    (void));
            ^
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/DS3231_test/DS3231_test.pde: In function 'void loop()':
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/DS3231_test/DS3231_test.pde:41:21: error: request for member 'getYear' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
  Serial.print(clock.getYear(), DEC);
                     ^~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/DS3231_test/DS3231_test.pde:45:21: error: request for member 'getMonth' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
  Serial.print(clock.getMonth(century), DEC);
                     ^~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/DS3231_test/DS3231_test.pde:49:21: error: request for member 'getDate' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
  Serial.print(clock.getDate(), DEC);
                     ^~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/DS3231_test/DS3231_test.pde:53:21: error: request for member 'getDoW' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
  Serial.print(clock.getDoW(), DEC);
                     ^~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/DS3231_test/DS3231_test.pde:57:21: error: request for member 'getHour' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
  Serial.print(clock.getHour(h12Flag, pmFlag), DEC);
                     ^~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/DS3231_test/DS3231_test.pde:59:21: error: request for member 'getMinute' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
  Serial.print(clock.getMinute(), DEC);
                     ^~~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/DS3231_test/DS3231_test.pde:61:21: error: request for member 'getSecond' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
  Serial.print(clock.getSecond(), DEC);
                     ^~~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/DS3231_test/DS3231_test.pde:76:21: error: request for member 'getTemperature' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
  Serial.print(clock.getTemperature(), 2);
                     ^~~~~~~~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/DS3231_test/DS3231_test.pde:79:12: error: request for member 'oscillatorCheck' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
  if (clock.oscillatorCheck()) {
            ^~~~~~~~~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/DS3231_test/DS3231_test.pde:86:12: error: request for member 'checkIfAlarm' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
  if (clock.checkIfAlarm(1)) {
            ^~~~~~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/DS3231_test/DS3231_test.pde:90:12: error: request for member 'checkIfAlarm' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
  if (clock.checkIfAlarm(2)) {
            ^~~~~~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/DS3231_test/DS3231_test.pde:99:8: error: request for member 'getA1Time' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
  clock.getA1Time(alarmDay, alarmHour, alarmMinute, alarmSecond, alarmBits, alarmDy, alarmH12Flag, alarmPmFlag);
        ^~~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/DS3231_test/DS3231_test.pde:120:12: error: request for member 'checkAlarmEnabled' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
  if (clock.checkAlarmEnabled(1)) {
            ^~~~~~~~~~~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/DS3231_test/DS3231_test.pde:127:8: error: request for member 'getA2Time' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
  clock.getA2Time(alarmDay, alarmHour, alarmMinute, alarmBits, alarmDy, alarmH12Flag, alarmPmFlag);
        ^~~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/DS3231_test/DS3231_test.pde:146:12: error: request for member 'checkAlarmEnabled' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
  if (clock.checkAlarmEnabled(2)) {
            ^~~~~~~~~~~~~~~~~

examples/echo_time

Result: FAIL

/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/echo_time/echo_time.pde:19:8: error: 'DS3231 clock' redeclared as different kind of symbol
 DS3231 clock;
        ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/data/packages/arduino/tools/arm-none-eabi-gcc/7-2017q4/arm-none-eabi/include/stdlib.h:11:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/data/packages/arduino/tools/arm-none-eabi-gcc/7-2017q4/arm-none-eabi/include/c++/7.2.1/cstdlib:75,
                 from /home/ec2-user/arduino-testlib/cli-datadir/data/packages/arduino/tools/arm-none-eabi-gcc/7-2017q4/arm-none-eabi/include/c++/7.2.1/stdlib.h:36,
                 from /home/ec2-user/arduino-testlib/cli-datadir/data/packages/arduino/hardware/samd/1.8.12/cores/arduino/api/Interrupts.h:5,
                 from /home/ec2-user/arduino-testlib/cli-datadir/data/packages/arduino/hardware/samd/1.8.12/cores/arduino/api/ArduinoAPI.h:29,
                 from /home/ec2-user/arduino-testlib/cli-datadir/data/packages/arduino/hardware/samd/1.8.12/cores/arduino/Arduino.h:23,
                 from /tmp/arduino-sketch-134A95520FC817220739022EC444130E/sketch/echo_time.pde.cpp:1:
/home/ec2-user/arduino-testlib/cli-datadir/data/packages/arduino/tools/arm-none-eabi-gcc/7-2017q4/arm-none-eabi/include/time.h:56:12: note: previous declaration 'clock_t clock()'
 clock_t    _EXFUN(clock,    (void));
            ^
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/echo_time/echo_time.pde: In function 'void setup()':
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/echo_time/echo_time.pde:35:26: error: request for member 'getYear' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
       Serial.print(clock.getYear(), DEC);
                          ^~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/echo_time/echo_time.pde:37:26: error: request for member 'getMonth' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
       Serial.print(clock.getMonth(century), DEC);
                          ^~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/echo_time/echo_time.pde:39:26: error: request for member 'getDate' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
       Serial.print(clock.getDate(), DEC);
                          ^~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/echo_time/echo_time.pde:41:26: error: request for member 'getHour' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
       Serial.print(clock.getHour(h12Flag, pmFlag), DEC); //24-hr
                          ^~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/echo_time/echo_time.pde:43:26: error: request for member 'getMinute' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
       Serial.print(clock.getMinute(), DEC);
                          ^~~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/echo_time/echo_time.pde:45:28: error: request for member 'getSecond' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
       Serial.println(clock.getSecond(), DEC);
                            ^~~~~~~~~

examples/now

Result: PASS

Sketch uses 14668 bytes (5%) of program storage space. Maximum is 262144 bytes.
Global variables use 3568 bytes (10%) of dynamic memory, leaving 29200 bytes for local variables. Maximum is 32768 bytes.

examples/set_echo

Result: FAIL

/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/set_echo/set_echo.pde:24:8: error: 'DS3231 clock' redeclared as different kind of symbol
 DS3231 clock;
        ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/data/packages/arduino/tools/arm-none-eabi-gcc/7-2017q4/arm-none-eabi/include/stdlib.h:11:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/data/packages/arduino/tools/arm-none-eabi-gcc/7-2017q4/arm-none-eabi/include/c++/7.2.1/cstdlib:75,
                 from /home/ec2-user/arduino-testlib/cli-datadir/data/packages/arduino/tools/arm-none-eabi-gcc/7-2017q4/arm-none-eabi/include/c++/7.2.1/stdlib.h:36,
                 from /home/ec2-user/arduino-testlib/cli-datadir/data/packages/arduino/hardware/samd/1.8.12/cores/arduino/api/Interrupts.h:5,
                 from /home/ec2-user/arduino-testlib/cli-datadir/data/packages/arduino/hardware/samd/1.8.12/cores/arduino/api/ArduinoAPI.h:29,
                 from /home/ec2-user/arduino-testlib/cli-datadir/data/packages/arduino/hardware/samd/1.8.12/cores/arduino/Arduino.h:23,
                 from /tmp/arduino-sketch-7E6375D1089BE2E26D0FA88472E7A08F/sketch/set_echo.pde.cpp:1:
/home/ec2-user/arduino-testlib/cli-datadir/data/packages/arduino/tools/arm-none-eabi-gcc/7-2017q4/arm-none-eabi/include/time.h:56:12: note: previous declaration 'clock_t clock()'
 clock_t    _EXFUN(clock,    (void));
            ^
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/set_echo/set_echo.pde: In function 'void loop()':
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/set_echo/set_echo.pde:77:11: error: request for member 'setClockMode' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
     clock.setClockMode(false);  // set to 24h
           ^~~~~~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/set_echo/set_echo.pde:79:11: error: request for member 'setYear' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
     clock.setYear(year);
           ^~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/set_echo/set_echo.pde:80:11: error: request for member 'setMonth' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
     clock.setMonth(month);
           ^~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/set_echo/set_echo.pde:81:11: error: request for member 'setDate' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
     clock.setDate(date);
           ^~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/set_echo/set_echo.pde:82:11: error: request for member 'setDoW' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
     clock.setDoW(dow);
           ^~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/set_echo/set_echo.pde:83:11: error: request for member 'setHour' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
     clock.setHour(hour);
           ^~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/set_echo/set_echo.pde:84:11: error: request for member 'setMinute' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
     clock.setMinute(minute);
           ^~~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/set_echo/set_echo.pde:85:11: error: request for member 'setSecond' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
     clock.setSecond(second);
           ^~~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/set_echo/set_echo.pde:90:28: error: request for member 'getYear' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
         Serial.print(clock.getYear(), DEC);
                            ^~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/set_echo/set_echo.pde:92:28: error: request for member 'getMonth' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
         Serial.print(clock.getMonth(century), DEC);
                            ^~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/set_echo/set_echo.pde:94:28: error: request for member 'getDate' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
         Serial.print(clock.getDate(), DEC);
                            ^~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/set_echo/set_echo.pde:96:28: error: request for member 'getHour' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
         Serial.print(clock.getHour(h12Flag, pmFlag), DEC); //24-hr
                            ^~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/set_echo/set_echo.pde:98:28: error: request for member 'getMinute' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
         Serial.print(clock.getMinute(), DEC);
                            ^~~~~~~~~
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/set_echo/set_echo.pde:100:30: error: request for member 'getSecond' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
         Serial.println(clock.getSecond(), DEC);
                              ^~~~~~~~~

esp32:esp32:d1_mini32 @ 1.0.6

Inclusion

Result: PASS

Sketch uses 203138 bytes (15%) of program storage space. Maximum is 1310720 bytes.
Global variables use 13880 bytes (4%) of dynamic memory, leaving 313800 bytes for local variables. Maximum is 327680 bytes.

examples/DS3231_oscillator_test

Result: PASS

Sketch uses 214026 bytes (16%) of program storage space. Maximum is 1310720 bytes.
Global variables use 14144 bytes (4%) of dynamic memory, leaving 313536 bytes for local variables. Maximum is 327680 bytes.

examples/DS3231_set

Result: FAIL

/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/DS3231_set/DS3231_set.pde:13:8: error: 'DS3231 clock' redeclared as different kind of symbol
 DS3231 clock;
        ^
In file included from /home/ec2-user/arduino-testlib/cli-datadir/data/packages/esp32/hardware/esp32/1.0.6/tools/sdk/include/newlib/stdio.h:29:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/data/packages/esp32/hardware/esp32/1.0.6/cores/esp32/Arduino.h:27,
                 from /tmp/arduino-sketch-605611F1623E816C562CFFF2500830F5/sketch/DS3231_set.pde.cpp:1:
/home/ec2-user/arduino-testlib/cli-datadir/data/packages/esp32/hardware/esp32/1.0.6/tools/sdk/include/newlib/time.h:50:12: note: previous declaration 'clock_t clock()'
 clock_t    _EXFUN(clock,    (void));
            ^
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/DS3231_set/DS3231_set.pde: In function 'void loop()':
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/DS3231_set/DS3231_set.pde:88:15: error: request for member 'setClockMode' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
         clock.setClockMode(false);  // set to 24h
               ^
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/DS3231_set/DS3231_set.pde:91:15: error: request for member 'setYear' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
         clock.setYear(year);
               ^
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/DS3231_set/DS3231_set.pde:92:15: error: request for member 'setMonth' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
         clock.setMonth(month);
               ^
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/DS3231_set/DS3231_set.pde:93:15: error: request for member 'setDate' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
         clock.setDate(date);
               ^
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/DS3231_set/DS3231_set.pde:94:15: error: request for member 'setDoW' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
         clock.setDoW(dOW);
               ^
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/DS3231_set/DS3231_set.pde:95:15: error: request for member 'setHour' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
         clock.setHour(hour);
               ^
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/DS3231_set/DS3231_set.pde:96:15: error: request for member 'setMinute' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
         clock.setMinute(minute);
               ^
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/DS3231_set/DS3231_set.pde:97:15: error: request for member 'setSecond' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
         clock.setSecond(second);
               ^
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/DS3231_set/DS3231_set.pde:102:15: error: request for member 'setA1Time' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
         clock.setA1Time(dOW, hour, minute+1, second, 0x0, true,
               ^
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/DS3231_set/DS3231_set.pde:105:15: error: request for member 'setA2Time' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
         clock.setA2Time(date, hour, minute+2, 0x0, false, false,
               ^
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/DS3231_set/DS3231_set.pde:108:15: error: request for member 'turnOnAlarm' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
         clock.turnOnAlarm(1);
               ^
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/DS3231_set/DS3231_set.pde:109:15: error: request for member 'turnOnAlarm' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
         clock.turnOnAlarm(2);
               ^

examples/DS3231_test

Result: FAIL

/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/DS3231_test/DS3231_test.pde:16:8: error: 'DS3231 clock' redeclared as different kind of symbol
 DS3231 clock;
        ^
In file included from /home/ec2-user/arduino-testlib/cli-datadir/data/packages/esp32/hardware/esp32/1.0.6/tools/sdk/include/newlib/stdio.h:29:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/data/packages/esp32/hardware/esp32/1.0.6/cores/esp32/Arduino.h:27,
                 from /tmp/arduino-sketch-F23AEC79C9D62FC23928D414960821DB/sketch/DS3231_test.pde.cpp:1:
/home/ec2-user/arduino-testlib/cli-datadir/data/packages/esp32/hardware/esp32/1.0.6/tools/sdk/include/newlib/time.h:50:12: note: previous declaration 'clock_t clock()'
 clock_t    _EXFUN(clock,    (void));
            ^
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/DS3231_test/DS3231_test.pde: In function 'void loop()':
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/DS3231_test/DS3231_test.pde:41:21: error: request for member 'getYear' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
  Serial.print(clock.getYear(), DEC);
                     ^
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/DS3231_test/DS3231_test.pde:45:21: error: request for member 'getMonth' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
  Serial.print(clock.getMonth(century), DEC);
                     ^
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/DS3231_test/DS3231_test.pde:49:21: error: request for member 'getDate' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
  Serial.print(clock.getDate(), DEC);
                     ^
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/DS3231_test/DS3231_test.pde:53:21: error: request for member 'getDoW' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
  Serial.print(clock.getDoW(), DEC);
                     ^
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/DS3231_test/DS3231_test.pde:57:21: error: request for member 'getHour' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
  Serial.print(clock.getHour(h12Flag, pmFlag), DEC);
                     ^
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/DS3231_test/DS3231_test.pde:59:21: error: request for member 'getMinute' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
  Serial.print(clock.getMinute(), DEC);
                     ^
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/DS3231_test/DS3231_test.pde:61:21: error: request for member 'getSecond' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
  Serial.print(clock.getSecond(), DEC);
                     ^
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/DS3231_test/DS3231_test.pde:76:21: error: request for member 'getTemperature' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
  Serial.print(clock.getTemperature(), 2);
                     ^
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/DS3231_test/DS3231_test.pde:79:12: error: request for member 'oscillatorCheck' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
  if (clock.oscillatorCheck()) {
            ^
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/DS3231_test/DS3231_test.pde:86:12: error: request for member 'checkIfAlarm' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
  if (clock.checkIfAlarm(1)) {
            ^
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/DS3231_test/DS3231_test.pde:90:12: error: request for member 'checkIfAlarm' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
  if (clock.checkIfAlarm(2)) {
            ^
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/DS3231_test/DS3231_test.pde:99:8: error: request for member 'getA1Time' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
  clock.getA1Time(alarmDay, alarmHour, alarmMinute, alarmSecond, alarmBits, alarmDy, alarmH12Flag, alarmPmFlag);
        ^
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/DS3231_test/DS3231_test.pde:120:12: error: request for member 'checkAlarmEnabled' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
  if (clock.checkAlarmEnabled(1)) {
            ^
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/DS3231_test/DS3231_test.pde:127:8: error: request for member 'getA2Time' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
  clock.getA2Time(alarmDay, alarmHour, alarmMinute, alarmBits, alarmDy, alarmH12Flag, alarmPmFlag);
        ^
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/DS3231_test/DS3231_test.pde:146:12: error: request for member 'checkAlarmEnabled' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
  if (clock.checkAlarmEnabled(2)) {
            ^

examples/echo_time

Result: FAIL

/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/echo_time/echo_time.pde:19:8: error: 'DS3231 clock' redeclared as different kind of symbol
 DS3231 clock;
        ^
In file included from /home/ec2-user/arduino-testlib/cli-datadir/data/packages/esp32/hardware/esp32/1.0.6/tools/sdk/include/newlib/stdio.h:29:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/data/packages/esp32/hardware/esp32/1.0.6/cores/esp32/Arduino.h:27,
                 from /tmp/arduino-sketch-134A95520FC817220739022EC444130E/sketch/echo_time.pde.cpp:1:
/home/ec2-user/arduino-testlib/cli-datadir/data/packages/esp32/hardware/esp32/1.0.6/tools/sdk/include/newlib/time.h:50:12: note: previous declaration 'clock_t clock()'
 clock_t    _EXFUN(clock,    (void));
            ^
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/echo_time/echo_time.pde: In function 'void setup()':
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/echo_time/echo_time.pde:35:26: error: request for member 'getYear' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
       Serial.print(clock.getYear(), DEC);
                          ^
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/echo_time/echo_time.pde:37:26: error: request for member 'getMonth' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
       Serial.print(clock.getMonth(century), DEC);
                          ^
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/echo_time/echo_time.pde:39:26: error: request for member 'getDate' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
       Serial.print(clock.getDate(), DEC);
                          ^
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/echo_time/echo_time.pde:41:26: error: request for member 'getHour' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
       Serial.print(clock.getHour(h12Flag, pmFlag), DEC); //24-hr
                          ^
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/echo_time/echo_time.pde:43:26: error: request for member 'getMinute' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
       Serial.print(clock.getMinute(), DEC);
                          ^
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/echo_time/echo_time.pde:45:28: error: request for member 'getSecond' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
       Serial.println(clock.getSecond(), DEC);
                            ^

examples/now

Result: PASS

Sketch uses 214550 bytes (16%) of program storage space. Maximum is 1310720 bytes.
Global variables use 14136 bytes (4%) of dynamic memory, leaving 313544 bytes for local variables. Maximum is 327680 bytes.

examples/set_echo

Result: FAIL

/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/set_echo/set_echo.pde:24:8: error: 'DS3231 clock' redeclared as different kind of symbol
 DS3231 clock;
        ^
In file included from /home/ec2-user/arduino-testlib/cli-datadir/data/packages/esp32/hardware/esp32/1.0.6/tools/sdk/include/newlib/stdio.h:29:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/data/packages/esp32/hardware/esp32/1.0.6/cores/esp32/Arduino.h:27,
                 from /tmp/arduino-sketch-7E6375D1089BE2E26D0FA88472E7A08F/sketch/set_echo.pde.cpp:1:
/home/ec2-user/arduino-testlib/cli-datadir/data/packages/esp32/hardware/esp32/1.0.6/tools/sdk/include/newlib/time.h:50:12: note: previous declaration 'clock_t clock()'
 clock_t    _EXFUN(clock,    (void));
            ^
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/set_echo/set_echo.pde: In function 'void loop()':
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/set_echo/set_echo.pde:77:11: error: request for member 'setClockMode' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
     clock.setClockMode(false);  // set to 24h
           ^
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/set_echo/set_echo.pde:79:11: error: request for member 'setYear' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
     clock.setYear(year);
           ^
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/set_echo/set_echo.pde:80:11: error: request for member 'setMonth' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
     clock.setMonth(month);
           ^
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/set_echo/set_echo.pde:81:11: error: request for member 'setDate' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
     clock.setDate(date);
           ^
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/set_echo/set_echo.pde:82:11: error: request for member 'setDoW' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
     clock.setDoW(dow);
           ^
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/set_echo/set_echo.pde:83:11: error: request for member 'setHour' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
     clock.setHour(hour);
           ^
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/set_echo/set_echo.pde:84:11: error: request for member 'setMinute' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
     clock.setMinute(minute);
           ^
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/set_echo/set_echo.pde:85:11: error: request for member 'setSecond' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
     clock.setSecond(second);
           ^
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/set_echo/set_echo.pde:90:28: error: request for member 'getYear' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
         Serial.print(clock.getYear(), DEC);
                            ^
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/set_echo/set_echo.pde:92:28: error: request for member 'getMonth' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
         Serial.print(clock.getMonth(century), DEC);
                            ^
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/set_echo/set_echo.pde:94:28: error: request for member 'getDate' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
         Serial.print(clock.getDate(), DEC);
                            ^
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/set_echo/set_echo.pde:96:28: error: request for member 'getHour' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
         Serial.print(clock.getHour(h12Flag, pmFlag), DEC); //24-hr
                            ^
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/set_echo/set_echo.pde:98:28: error: request for member 'getMinute' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
         Serial.print(clock.getMinute(), DEC);
                            ^
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/DS3231/examples/set_echo/set_echo.pde:100:30: error: request for member 'getSecond' in 'clock', which is of non-class type 'clock_t() {aka long unsigned int()}'
         Serial.println(clock.getSecond(), DEC);
                              ^